kernel_entry
uint64_t kernel_entry;
__efistub_kernel_entry = kernel_entry;
image->start = kernel_segment->mem + h->kernel_entry - text_offset;
unsigned long entry = (unsigned long)kernel_entry;
kernel_entry(0, 0, 0); /* set a2 = 0 for secondary core */
extern void kernel_entry(unsigned long arg1, ...);
# Jump the master to kernel_entry
void *kernel_entry = start_kernel;
kernel_entry = RELOCATED(start_kernel);
return kernel_entry;
extern int kernel_entry;
return (unsigned long)&kernel_entry - base + kernel_addr;
unsigned long kernel_entry = entrypoint + stext_offset();
jump_kernel_func jump_kernel = (jump_kernel_func)kernel_entry;
enter_kernel(kernel_entry, boot_params);
static efi_status_t efi_decompress_kernel(unsigned long *kernel_entry,
*kernel_entry = addr + entry;
unsigned long kernel_entry;
status = efi_decompress_kernel(&kernel_entry, boot_params);