Searched refs:kvmppc_booke_exit (Results 1 – 4 of 4) sorted by relevance
435 kvmppc_booke_exit(); in kvmppc_e500mc_exit()
569 kvmppc_booke_exit(); in kvmppc_e500_exit()
2195 void __exit kvmppc_booke_exit(void) in kvmppc_booke_exit() function
157 extern void kvmppc_booke_exit(void);
