DT_PAGE
pt[index].type = DT_PAGE;
if (PTE_TYPE(pt[pindex]) != DT_PAGE)
if (PTE_TYPE(*pt) != DT_PAGE)
*pt = DT_PAGE
pt[i].type = DT_PAGE;
if (pt && pt[index].type == DT_PAGE) {
page.type = DT_PAGE;
if (pt[index].type != DT_PAGE && pt[index].type != DT_INDIRECT) {
| ((pt[index].type == DT_PAGE) ? PAGE_PRESENT : 0);
| ((pt[index].type == DT_PAGE) ? PAGE_PRESENT : 0);
if (pt[index].type != DT_PAGE /*&& pt[index].type != DT_INDIRECT*/) {
pte = TA_TO_PTEA(physicalAddress) | DT_PAGE
| DT_PAGE
if (pt && PIE_TYPE(pt[index]) == DT_PAGE) {
if (PTE_TYPE(pt[index]) != DT_PAGE
if (PTE_TYPE(oldEntry) != DT_PAGE) {
if (PTE_TYPE(oldEntry) != DT_PAGE)
| ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);
| ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);