Symbol: kbm_push
usr/src/uts/i86pc/vm/hat_kdi.c
244
(void) kbm_push(pa);
usr/src/uts/i86pc/vm/hat_kdi.c
70
hat_kdi_page = (uintptr_t)kbm_push(0); /* first call gets address... */
usr/src/uts/i86pc/vm/kboot_mmu.h
88
extern void *kbm_push(paddr_t pa);