Searched refs:rsvd_bits_mask (Results 1 – 1 of 1) sorted by relevance
121 uint64_t rsvd_bits_mask; in load_pdptrs() local136 …rsvd_bits_mask = (63U < maxphyaddr) ? 0UL : (((1UL << (63U - maxphyaddr + 1U)) - 1UL) << maxphyadd… in load_pdptrs()137 rsvd_bits_mask |= PAE_PDPTE_FIXED_RESVD_BITS; in load_pdptrs()139 if (((pdpte[i] & PAGE_PRESENT) != 0UL) && ((pdpte[i] & rsvd_bits_mask) != 0UL)) { in load_pdptrs()
Completed in 13 milliseconds