Searched refs:kvmppc_booke_exit (Results 1 – 4 of 4) sorted by relevance
416 kvmppc_booke_exit(); in kvmppc_e500mc_exit()
547 kvmppc_booke_exit(); in kvmppc_e500_exit()
2229 void __exit kvmppc_booke_exit(void) in kvmppc_booke_exit() function
154 extern void kvmppc_booke_exit(void);