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

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c392 seL4_BootInfoHeader padding_header; local
393 padding_header.id = SEL4_BOOTINFO_HEADER_PADDING;
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;
396 memcpy((void*)(extra_bi_region.start + extra_bi_offset), &padding_header, sizeof(seL4_BootInfoHeader));

Completed in 25 milliseconds