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

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dboot.c270 pptr_t extra_bi_offset = 0; local
348 memcpy((void*)(extra_bi_region.start + extra_bi_offset), vbe, sizeof(seL4_X86_BootInfo_VBE));
349 extra_bi_offset += sizeof(seL4_X86_BootInfo_VBE);
357 *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = header;
358 extra_bi_offset += sizeof(header);
359 memcpy((void*)(extra_bi_region.start + extra_bi_offset), acpi_rsdp, sizeof(*acpi_rsdp));
360 extra_bi_offset += sizeof(*acpi_rsdp);
368 *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = header;
369 extra_bi_offset += sizeof(header);
370 memcpy((void*)(extra_bi_region.start + extra_bi_offset), fb_inf
[all...]

Completed in 31 milliseconds