Searched refs:kernel_start (Results 1 – 1 of 1) sorted by relevance
| /external/syslinux/efi/ |
| D | main.c | 433 extern void kernel_jump(EFI_PHYSICAL_ADDRESS kernel_start,
1066 EFI_PHYSICAL_ADDRESS addr, pref_address, kernel_start = 0; in efi_boot_linux() local
1129 kernel_start = addr; in efi_boot_linux()
1134 memcpy((void *)(UINTN)kernel_start, kernel_buf+setup_sz, kernel_size-setup_sz); in efi_boot_linux()
1136 hdr->code32_start = (UINT32)((UINT64)kernel_start); in efi_boot_linux()
1139 kernel_start, kernel_size, initramfs, setup_data, _cmdline); in efi_boot_linux()
1165 kernel_jump(kernel_start, bp); in efi_boot_linux()
1177 if (kernel_start) efree(kernel_start, init_size); in efi_boot_linux()
|