Searched refs:reserved_bits (Results 1 – 1 of 1) sorted by relevance
308 uint64_t reserved_bits = 0UL; in is_ept_entry_misconfig() local328 reserved_bits = IA32E_PML4E_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()332 reserved_bits = IA32E_PDPTE_LEAF_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()334 reserved_bits = IA32E_PDPTE_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()339 reserved_bits = IA32E_PDE_LEAF_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()341 reserved_bits = IA32E_PDE_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()345 reserved_bits = IA32E_PTE_RESERVED_BITS(max_phy_addr_bits); in is_ept_entry_misconfig()350 is_misconfig = is_misconfig || ((ept_entry & reserved_bits) != 0UL); in is_ept_entry_misconfig()
Completed in 5 milliseconds