Searched refs:ept_set_mmio_spte_mask (Results 1 – 1 of 1) sorted by relevance
4987 static void ept_set_mmio_spte_mask(void) in ept_set_mmio_spte_mask() function6480 ept_set_mmio_spte_mask(); in hardware_setup()