81
81
ASSERT(page_table_locked(as));
83
83
if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
87
87
SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
88
88
SET_PTL1_FLAGS(ptl0, PTL0_INDEX(page),
89
89
PAGE_NOT_PRESENT | PAGE_USER | PAGE_EXEC | PAGE_CACHEABLE |