Lines Matching refs:extra_bi_offset
270 pptr_t extra_bi_offset = 0;
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_info, sizeof(*fb_info));
371 extra_bi_offset += sizeof(*fb_info);
377 memcpy((void*)(extra_bi_region.start + extra_bi_offset), mb_mmap, mb_mmap_size);
378 extra_bi_offset += mb_mmap_size;
385 *(seL4_BootInfoHeader*)(extra_bi_region.start + extra_bi_offset) = header;
386 extra_bi_offset += sizeof(header);
387 *(uint32_t*)(extra_bi_region.start + extra_bi_offset) = tsc_freq;
388 extra_bi_offset += 4;
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;