Symbol: clear_boot_mappings
usr/src/uts/i86pc/os/startup.c
2335
clear_boot_mappings(0, _userlimit);
usr/src/uts/i86pc/vm/hat_i86.h
232
extern void clear_boot_mappings(uintptr_t, uintptr_t);