76 		assert(ret == 0);  in cpu_init()
82 	assert(cpu_present(me));  in cpu_init()
107 		assert(curr == freemem);  in mem_allocator_init()
111 	assert(freemem_end - freemem_start >= SZ_1M * 16);  in mem_allocator_init()
123 	assert(base == freemem_start && top == freemem_end);  in mem_allocator_init()
138 	assert(code);  in mem_init()
142 	assert(freemem && !(freemem->flags & (MR_F_IO | MR_F_CODE)));  in mem_init()
154 	assert(ret == 0);  in freemem_push_fdt()
156 	assert(ret == 0);  in freemem_push_fdt()
166 	assert(ret == 0 || ret == -FDT_ERR_NOTFOUND);  in freemem_push_dt_initrd()
202 	assert(freemem_start < VA_BASE);  in setup()
216 	assert(ret == 0 || ret == -FDT_ERR_NOTFOUND);  in setup()
245 	assert(code && (code->flags & MR_F_CODE));  in efi_mem_init()
250 		assert(m == code || !(m->flags & MR_F_CODE));  in efi_mem_init()