kvm_configure_mmu
void kvm_configure_mmu(bool enable_tdp, int tdp_forced_root_level,
EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_configure_mmu);
kvm_configure_mmu(npt_enabled, get_npt_level(),
kvm_configure_mmu(enable_ept, 0, vmx_get_max_ept_level(),