Changeset 63e27ef in mainline for kernel/generic/src/mm/km.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/km.c
r7354b5e r63e27ef 38 38 #include <mm/km.h> 39 39 #include <arch/mm/km.h> 40 #include <assert.h> 40 41 #include <mm/page.h> 41 42 #include <mm/frame.h> … … 44 45 #include <typedefs.h> 45 46 #include <lib/ra.h> 46 #include <debug.h>47 47 #include <arch.h> 48 48 #include <align.h> … … 95 95 { 96 96 km_ni_arena = ra_arena_create(); 97 ASSERT(km_ni_arena != NULL);97 assert(km_ni_arena != NULL); 98 98 km_non_identity_arch_init(); 99 99 config.non_identity_configured = true; … … 112 112 113 113 span_added = ra_span_add(km_ni_arena, base, size); 114 ASSERT(span_added);114 assert(span_added); 115 115 } 116 116 … … 132 132 uintptr_t offs; 133 133 134 ASSERT(ALIGN_DOWN(paddr, FRAME_SIZE) == paddr);135 ASSERT(ALIGN_UP(size, FRAME_SIZE) == size);134 assert(ALIGN_DOWN(paddr, FRAME_SIZE) == paddr); 135 assert(ALIGN_UP(size, FRAME_SIZE) == size); 136 136 137 137 /* Enforce natural or at least PAGE_SIZE alignment. */ … … 154 154 ipl_t ipl; 155 155 156 ASSERT(ALIGN_DOWN(vaddr, PAGE_SIZE) == vaddr);157 ASSERT(ALIGN_UP(size, PAGE_SIZE) == size);156 assert(ALIGN_DOWN(vaddr, PAGE_SIZE) == vaddr); 157 assert(ALIGN_UP(size, PAGE_SIZE) == size); 158 158 159 159 page_table_lock(AS_KERNEL, true); … … 240 240 uintptr_t km_temporary_page_get(uintptr_t *framep, frame_flags_t flags) 241 241 { 242 ASSERT(THREAD);243 ASSERT(framep);244 ASSERT(!(flags & ~(FRAME_NO_RESERVE | FRAME_ATOMIC)));242 assert(THREAD); 243 assert(framep); 244 assert(!(flags & ~(FRAME_NO_RESERVE | FRAME_ATOMIC))); 245 245 246 246 /* … … 281 281 void km_temporary_page_put(uintptr_t page) 282 282 { 283 ASSERT(THREAD);283 assert(THREAD); 284 284 285 285 if (km_is_non_identity(page))
Note:
See TracChangeset
for help on using the changeset viewer.