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

/barrelfish-master/tools/arm_molly/
H A Dmolly_init64.c77 struct multiboot_modinfo *mbi_mods; local
78 mbi_mods = (struct multiboot_modinfo*)(uint64_t)(mbi->mods_addr);
79 void *kernel = (void*)(uint64_t)(mbi_mods[0].mod_start);
80 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start;
H A Dmolly_init32.c76 struct multiboot_modinfo *mbi_mods; local
77 mbi_mods = (struct multiboot_modinfo*)(uint32_t)(mbi->mods_addr);
78 void *kernel = (void*)(uint32_t)(mbi_mods[0].mod_start);
79 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start;
/barrelfish-master/tools/molly/
H A Dmolly_init.c263 struct multiboot_modinfo *mbi_mods; local
264 mbi_mods = (struct multiboot_modinfo*)(uint64_t)(mbi->mods_addr);
265 void *kernel = (void*)(uint64_t)(mbi_mods[0].mod_start);
266 uint32_t kernel_bytes = mbi_mods[0].mod_end - mbi_mods[0].mod_start;
/barrelfish-master/usr/drivers/xeon_phi/
H A Dboot.c375 struct multiboot_modinfo *mbi_mods = (struct multiboot_modinfo *)(mbi + 1); local
376 struct multiboot_mmap *mbi_mmaps = (struct multiboot_mmap *)(mbi_mods + num_mods);
408 return sizeof(*mbi) + num_mods * sizeof(*mbi_mods) + num_mmaps * sizeof(*mbi_mmaps);
422 struct multiboot_modinfo *mbi_mods = (struct multiboot_modinfo *)(mbi + 1); local
440 mbi_mods[i].mod_start = offset;
441 mbi_mods[i].string = strings_offset;
450 mbi_mods[i].mod_end = mbi_mods[i].mod_start + imgsize;

Completed in 39 milliseconds