Lines Matching refs:PTE_TYPE
328 ASSERT_PRINT((PTE_TYPE(pt[pindex]) != DT_INVALID) == 0,
394 if (PTE_TYPE(pt[index]) != DT_PAGE
395 && PTE_TYPE(pt[index]) != DT_INDIRECT) {
453 if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
465 if (PTE_TYPE(oldEntry) != DT_PAGE) {
554 if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
562 if (PTE_TYPE(oldEntry) != DT_PAGE)
713 if (PTE_TYPE(oldEntry) != DT_PAGE) {
793 if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
813 | ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);
858 if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
881 | ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);