Searched refs:code32_start (Results 1 – 9 of 9) sorted by relevance
58 UINT32 code32_start; member92 (handover_f)((UINTN)setup->code32_start + 512 + setup->handover_offset); in linux_efi_handover()104 handover = (handover_f)((UINTN)setup->code32_start + setup->handover_offset); in linux_efi_handover()280 setup->code32_start = in uefi_avb_boot_kernel()
52 uint32_t code32_start; member
67 uint32_t code32_start; member
68 code32_start dd 0x100000 ; 32-bit start address define
135 code32_start: label
66 __u32 code32_start; member
98 uint32_t code32_start; member
325 whdr->code32_start += base - prot_mode_base; in bios_boot_linux()
779 unsigned long address = hdr->code32_start + hdr->handover_offset; in handover_boot()1136 hdr->code32_start = (UINT32)((UINT64)kernel_start); in efi_boot_linux()