Symbol: dboot_multiboot2_modend
usr/src/uts/common/sys/multiboot2_impl.h
33
extern uint32_t dboot_multiboot2_modend(multiboot2_info_header_t *, int);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1120
return (dboot_multiboot2_modend(mb2_info, index));