DT_INVALID
*pt = DT_INVALID | TA_TO_PTEA(0xdeadb00b);
if (PTE_TYPE(*pt) != DT_INVALID)
sQueryDesc.type = DT_INVALID;
if (map->arch_data->rtdir_virt[i].type == DT_INVALID)
if (pgdir[j].type == DT_INVALID)
pt[index].type = DT_INVALID;
sQueryDesc.type = DT_INVALID;
ASSERT_PRINT((PTE_TYPE(pt[pindex]) != DT_INVALID) == 0,
if (PRE_TYPE(pgroot_virt[i]) == DT_INVALID)
if (PDE_TYPE(pgdir[j]) == DT_INVALID)