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

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c517 multiboot_module_t *modules = (multiboot_module_t *)(word_t)mbi->part1.mod_list;
519 cmdline_parse((const char *)(word_t)mbi->part1.cmdline, &cmdline_opt);
521 if ((mbi->part1.flags & MULTIBOOT_INFO_MEM_FLAG) == 0) {
526 if (!(mbi->part1.flags & MULTIBOOT_INFO_MODS_FLAG)) {
531 printf("Detected %d boot module(s):\n", mbi->part1.mod_count);
533 if (mbi->part1.mod_count < 1) {
538 for (i = 0; i < mbi->part1.mod_count; i++) {
562 if (mbi->part1.flags & MULTIBOOT_INFO_MMAP_FLAG) {
580 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);
587 if ((mbi->part1
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dmultiboot.h40 } part1; member in struct:multiboot_info

Completed in 84 milliseconds