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