x86/kernel/boot.c

269     region_t      extra_bi_region;
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.start + extra_bi_offset) = header;
387         *(uint32_t*)(extra_bi_region.start + extra_bi_offset) = tsc_freq;
394     padding_header.len = (extra_bi_region.end - extra_bi_region.start) - extra_bi_offset;
395     *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = padding_header;
417             extra_bi_region,
419             pptr_to_paddr((void*)(extra_bi_region.start - extra_bi_frame_vptr))