Searched refs:ept_lpage_level (Results 1 – 1 of 1) sorted by relevance
7724 int r, i, ept_lpage_level; in hardware_setup() local7814 ept_lpage_level = 0; in hardware_setup()7816 ept_lpage_level = PG_LEVEL_1G; in hardware_setup()7818 ept_lpage_level = PG_LEVEL_2M; in hardware_setup()7820 ept_lpage_level = PG_LEVEL_4K; in hardware_setup()7821 kvm_configure_mmu(enable_ept, vmx_get_max_tdp_level(), ept_lpage_level); in hardware_setup()
