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

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c68 paddr_t mods_end_paddr; /* physical address where boot modules end */
512 printf("ELF-loading userland images from boot modules:\n");
573 multiboot_module_t *modules = (multiboot_module_t*)(word_t)mbi->part1.mod_list; local
583 printf("Boot loader did not provide information about boot modules\n");
598 modules[i].start,
599 modules[i].end,
600 modules[i].end - modules[i].start,
601 (char *) (long)modules[i].name
603 if ((sword_t)(modules[
[all...]

Completed in 83 milliseconds