Symbol: dboot_multiboot_modend
usr/src/uts/i86pc/dboot/dboot_startkern.c
1180
mod_end = dboot_multiboot_modend(i);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1345
uint32_t mod_end = dboot_multiboot_modend(midx);