e500_mmu_host_uninit
e500_mmu_host_uninit(vcpu_e500);
void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500);