Changeset fdaad75d in mainline for kernel/genarch/src/mm/page_pt.c
- Timestamp:
- 2010-06-22T02:18:35Z (14 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- ee42e43
- Parents:
- 4ca26c9b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/genarch/src/mm/page_pt.c
r4ca26c9b rfdaad75d 72 72 pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table); 73 73 74 ASSERT(interrupts_disabled());75 74 ASSERT(page_table_locked(as)); 76 75 … … 120 119 void pt_mapping_remove(as_t *as, uintptr_t page) 121 120 { 122 ASSERT(interrupts_disabled());123 121 ASSERT(page_table_locked(as)); 124 122 … … 251 249 pte_t *pt_mapping_find(as_t *as, uintptr_t page) 252 250 { 253 ASSERT(interrupts_disabled());254 251 ASSERT(page_table_locked(as)); 255 252
Note:
See TracChangeset
for help on using the changeset viewer.