Searched refs:ept_lpage_level (Results 1 – 1 of 1) sorted by relevance
7871 int r, i, ept_lpage_level; in hardware_setup() local7961 ept_lpage_level = 0; in hardware_setup()7963 ept_lpage_level = PG_LEVEL_1G; in hardware_setup()7965 ept_lpage_level = PG_LEVEL_2M; in hardware_setup()7967 ept_lpage_level = PG_LEVEL_4K; in hardware_setup()7968 kvm_configure_mmu(enable_ept, vmx_get_max_tdp_level(), ept_lpage_level); in hardware_setup()