Searched refs:PAGE_INVALID (Results 1 – 2 of 2) sorted by relevance
83 if (!(entry[idx] & PAGE_INVALID)) in virt_arch_pg_map()108 TEST_ASSERT(!(entry[idx] & PAGE_INVALID), in addr_arch_gva2gpa()121 if (*pte & PAGE_INVALID) in virt_dump_ptes()
20 #define PAGE_INVALID 0x400 /* HW invalid bit */ macro