Searched refs:kernel_raw (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c167 load_cpudriver(Elf *kernel_elf, void *kernel_raw, size_t kernel_size, argument
225 memcpy(seg_vbase, kernel_raw + ph->p_offset, ph->p_filesz);
239 Elf64_Dyn *dt= (Elf64_Dyn *)(kernel_raw + dhdr->p_offset);

Completed in 29 milliseconds