Changeset 63e27ef in mainline for kernel/generic/src/mm/backend_phys.c
- Timestamp:
- 2017-06-19T21:47:42Z (7 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- deacc58d
- Parents:
- 7354b5e
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/generic/src/mm/backend_phys.c
r7354b5e r63e27ef 37 37 */ 38 38 39 #include < debug.h>39 #include <assert.h> 40 40 #include <typedefs.h> 41 41 #include <mm/as.h> … … 95 95 void phys_share(as_area_t *area) 96 96 { 97 ASSERT(mutex_locked(&area->as->lock));98 ASSERT(mutex_locked(&area->lock));97 assert(mutex_locked(&area->as->lock)); 98 assert(mutex_locked(&area->lock)); 99 99 } 100 100 … … 135 135 uintptr_t base = area->backend_data.base; 136 136 137 ASSERT(page_table_locked(AS));138 ASSERT(mutex_locked(&area->lock));139 ASSERT(IS_ALIGNED(upage, PAGE_SIZE));137 assert(page_table_locked(AS)); 138 assert(mutex_locked(&area->lock)); 139 assert(IS_ALIGNED(upage, PAGE_SIZE)); 140 140 141 141 if (!as_area_check_access(area, access)) 142 142 return AS_PF_FAULT; 143 143 144 ASSERT(upage - area->base < area->backend_data.frames * FRAME_SIZE);144 assert(upage - area->base < area->backend_data.frames * FRAME_SIZE); 145 145 page_mapping_insert(AS, upage, base + (upage - area->base), 146 146 as_area_get_flags(area));
Note:
See TracChangeset
for help on using the changeset viewer.