Symbol: dboot_multiboot2_highest_addr
usr/src/uts/common/sys/multiboot2_impl.h
53
extern paddr_t dboot_multiboot2_highest_addr(multiboot2_info_header_t *);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1729
addr = dboot_multiboot2_highest_addr(mb2_info);