Lines Matching refs:assert
73 #include <kern/assert.h>
98 assert(pn != vm_page_fictitious_addr);
99 assert(pn != vm_page_guard_addr);
113 assert(pn != vm_page_fictitious_addr);
114 assert(pn != vm_page_guard_addr);
115 assert(offset + len <= PAGE_SIZE);
132 assert(psrc != vm_page_fictitious_addr);
133 assert(pdst != vm_page_fictitious_addr);
134 assert(psrc != vm_page_guard_addr);
135 assert(pdst != vm_page_guard_addr);
140 assert((((uint32_t)dst & PAGE_MASK) + dst_offset + len) <= PAGE_SIZE);
141 assert((((uint32_t)src & PAGE_MASK) + src_offset + len) <= PAGE_SIZE);
161 assert(pdst != vm_page_fictitious_addr);
162 assert(pdst != vm_page_guard_addr);
163 assert((dst_offset + len) <= PAGE_SIZE);
190 assert(psrc != vm_page_fictitious_addr);
191 assert(psrc != vm_page_guard_addr);
192 assert((src_offset + len) <= PAGE_SIZE);