PTE_TYPE
if (PTE_TYPE(pt[pindex]) != DT_PAGE)
if (PTE_TYPE(*pt) != DT_PAGE)
if (PTE_TYPE(*pt) != DT_INVALID)
pt?(PTE_TYPE(pt[index])):-1);
if (pt && PTE_TYPE(pt[index]) == DT_INDIRECT) {
ASSERT_PRINT((PTE_TYPE(pt[pindex]) != DT_INVALID) == 0,
if (PTE_TYPE(pt[index]) != DT_PAGE
&& PTE_TYPE(pt[index]) != DT_INDIRECT) {
if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
if (PTE_TYPE(oldEntry) != DT_PAGE) {
if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
if (PTE_TYPE(oldEntry) != DT_PAGE)
if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
| ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);
if (PTE_TYPE(pt[index]) == DT_INDIRECT) {
| ((PTE_TYPE(entry) == DT_PAGE) ? PAGE_PRESENT : 0);