Changeset 1d432f9 in mainline for kernel/genarch/src/mm/page_pt.c
- Timestamp:
- 2010-05-31T22:33:44Z (14 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 179d052
- Parents:
- 3a2b636
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/genarch/src/mm/page_pt.c
r3a2b636 r1d432f9 73 73 { 74 74 pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table); 75 76 ASSERT(interrupts_disabled()); 77 ASSERT(page_table_locked(as)); 75 78 76 79 if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) { … … 121 124 void pt_mapping_remove(as_t *as, uintptr_t page) 122 125 { 126 ASSERT(interrupts_disabled()); 127 ASSERT(page_table_locked(as)); 128 123 129 /* 124 130 * First, remove the mapping, if it exists. … … 251 257 pte_t *pt_mapping_find(as_t *as, uintptr_t page) 252 258 { 259 ASSERT(interrupts_disabled()); 260 ASSERT(page_table_locked(as)); 261 253 262 pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table); 254 263 if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)
Note:
See TracChangeset
for help on using the changeset viewer.