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

/barrelfish-2018-10-04/tools/arm_boot/
H A Darm_bootimage.c1039 uint32_t kernel_offset= KERNEL_WINDOW - ram_start; local
1044 phys_base, phys_base + kernel_offset);
1084 load(cpu_fd, kernel_offset, &cpu_image, 0);
1116 mb_base + kernel_offset;
/barrelfish-2018-10-04/usr/drivers/cpuboot/arch/armv8/
H A Dboot_arch.c279 lvaddr_t kernel_offset) {
347 *rel_target= addend + segment_delta + kernel_offset;
278 relocate_elf(struct module_blob *binary, struct mem_info *mem, lvaddr_t kernel_offset) argument

Completed in 35 milliseconds