Lines Matching defs:modules
68 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;
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[i].end - modules[i].start) <= 0) {
607 if (boot_state.mods_end_paddr < modules[i].end) {
608 boot_state.mods_end_paddr = modules[i].end;
658 boot_state.boot_module_start = modules->start;