Searched refs:kernel_end (Results 1 – 1 of 1) sorted by relevance
308 uint8_t* const kernel_end = in boot_shim() local316 uart_print_hex((uintptr_t)kernel_end); in boot_shim()325 if ((uint8_t*)zbi < kernel_end && zbi != &kernel->hdr_file) { in boot_shim()
Completed in 7 milliseconds