Symbol: check_higher
usr/src/uts/i86pc/dboot/dboot_startkern.c
1349
check_higher(mod_end);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1525
check_higher((paddr_t)(uintptr_t)&_end);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1726
check_higher(addr);
usr/src/uts/i86pc/dboot/dboot_startkern.c
1731
check_higher(addr);
usr/src/uts/i86pc/dboot/dboot_startkern.c
692
check_higher(mb_info->mmap_addr + mb_info->mmap_length);