HelenOS sources

multiboot_module_t  103 kernel/genarch/src/multiboot/multiboot.c static void multiboot_modules(uint32_t count, multiboot_module_t *mods)
multiboot_module_t  164 kernel/genarch/src/multiboot/multiboot.c 		    (multiboot_module_t *) MULTIBOOT_PTR(info->mods_addr));