Searched refs:rsvd_mask (Results 1 – 1 of 1) sorted by relevance
259 uint64_t rsvd_mask = 0x000fffffffffffff; in _vm_get_page_table_entry() local264 rsvd_mask = (rsvd_mask >> max_phy_addr) << max_phy_addr; in _vm_get_page_table_entry()274 rsvd_mask |= (1ull << 63); in _vm_get_page_table_entry()298 TEST_ASSERT((pml4e[index[3]] & (rsvd_mask | PTE_LARGE_MASK)) == 0, in _vm_get_page_table_entry()306 TEST_ASSERT((pdpe[index[2]] & rsvd_mask) == 0, in _vm_get_page_table_entry()314 TEST_ASSERT((pde[index[1]] & rsvd_mask) == 0, in _vm_get_page_table_entry()