Searched refs:elf_kernel_size (Results 1 – 1 of 1) sorted by relevance
749 uint32_t elf_kernel_size = 0; in load_elfboot() local778 elf_kernel_size = elf_high - elf_low; in load_elfboot()786 fw_cfg_add_i32(fw_cfg, FW_CFG_KERNEL_SIZE, elf_kernel_size); in load_elfboot()