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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c269 region_t extra_bi_region; local
339 extra_bi_region = allocate_extra_bi_region(extra_bi_size);
340 if (extra_bi_region.start == 0) {
348 memcpy((void*)(extra_bi_region.start + extra_bi_offset), vbe, sizeof(seL4_X86_BootInfo_VBE));
357 *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = header;
359 memcpy((void*)(extra_bi_region.start + extra_bi_offset), acpi_rsdp, sizeof(*acpi_rsdp));
368 *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = header;
370 memcpy((void*)(extra_bi_region.start + extra_bi_offset), fb_info, sizeof(*fb_info));
377 memcpy((void*)(extra_bi_region.start + extra_bi_offset), mb_mmap, mb_mmap_size);
385 *(seL4_BootInfoHeader*)(extra_bi_region
[all...]

Completed in 45 milliseconds