Searched refs:vmx_get_max_tdp_level (Results 1 – 1 of 1) sorted by relevance
3041 static int vmx_get_max_tdp_level(void) in vmx_get_max_tdp_level() function7821 kvm_configure_mmu(enable_ept, vmx_get_max_tdp_level(), ept_lpage_level); in hardware_setup()
