Searched defs:kernel_elf (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/
H A Darm_core_data.h51 struct multiboot_elf kernel_elf; member in struct:arm_core_data
/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c167 load_cpudriver(Elf *kernel_elf, void *kernel_raw, size_t kernel_size, argument
641 Elf *kernel_elf= local

Completed in 35 milliseconds