static void kvmppc_book3s_hv_exit(void) { kvm_exit(); }
static void __exit kvm_vmm_exit(void) { kvm_exit(); return ; }
void __exit kvmppc_booke_exit(void) { free_pages(kvmppc_booke_handlers, VCPU_SIZE_ORDER); kvm_exit(); }