Changeset 1d432f9 in mainline for kernel/generic/src/mm/page.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/generic/src/mm/page.c
r3a2b636 r1d432f9 120 120 unsigned int flags) 121 121 { 122 ASSERT(interrupts_disabled()); 123 ASSERT(page_table_locked(as)); 124 122 125 ASSERT(page_mapping_operations); 123 126 ASSERT(page_mapping_operations->mapping_insert); 124 127 125 128 page_mapping_operations->mapping_insert(as, page, frame, flags); 126 129 … … 143 146 void page_mapping_remove(as_t *as, uintptr_t page) 144 147 { 148 ASSERT(interrupts_disabled()); 149 ASSERT(page_table_locked(as)); 150 145 151 ASSERT(page_mapping_operations); 146 152 ASSERT(page_mapping_operations->mapping_remove); … … 167 173 pte_t *page_mapping_find(as_t *as, uintptr_t page) 168 174 { 175 ASSERT(interrupts_disabled()); 176 ASSERT(page_table_locked(as)); 177 169 178 ASSERT(page_mapping_operations); 170 179 ASSERT(page_mapping_operations->mapping_find);
Note:
See TracChangeset
for help on using the changeset viewer.