kvmppc_booke_exit  157 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_booke_exit(void);
kvmppc_booke_exit  569 arch/powerpc/kvm/e500.c 	kvmppc_booke_exit();
kvmppc_booke_exit  435 arch/powerpc/kvm/e500mc.c 	kvmppc_booke_exit();