Searched refs:kernel_header (Results 1 – 3 of 3) sorted by relevance
23 const zbi_kernel_t* kernel_header = (void*)(kernel_item + 1); in boot_zbi() local24 uint32_t kernel_entry = kernel_header->entry; in boot_zbi()25 if (unlikely(kernel_entry != kernel_header->entry)) { in boot_zbi()27 kernel_header->entry, kernel_entry); in boot_zbi()39 const uint8_t* copy_src = (const void*)(kernel_header + 1); in boot_zbi()
218 const zbi_kernel_t* kernel_header = (const void*)(kernel_item_header + 1); in multiboot_main() local227 kernel_load_end + ZBI_ALIGN(kernel_header->reserve_memory_size); in multiboot_main()
589 zbi_kernel_t* kernel_header = (zbi_kernel_t*)&header[2]; in platform_mexec() local591 kernel_dst_phys += kernel_header->entry; in platform_mexec()
Completed in 12 milliseconds