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();