Searched refs:kvmppc_booke_exit (Results 1 – 4 of 4) sorted by relevance
416 kvmppc_booke_exit(); in kvmppc_e500mc_exit()
546 kvmppc_booke_exit(); in kvmppc_e500_exit()
2204 void __exit kvmppc_booke_exit(void) in kvmppc_booke_exit() function
153 extern void kvmppc_booke_exit(void);