PAGE_INVALID
TEST_ASSERT(!(entry[idx] & PAGE_INVALID),
if (*pte & PAGE_INVALID)
if (!(entry[idx] & PAGE_INVALID))