Symbol: kbm_pop
usr/src/uts/i86pc/vm/hat_kdi.c
263
kbm_pop();
usr/src/uts/i86pc/vm/kboot_mmu.h
89
extern void kbm_pop(void);