Searched refs:kbm_push (Results 1 – 3 of 3) sorted by relevance
88 extern void *kbm_push(paddr_t pa);
70 hat_kdi_page = (uintptr_t)kbm_push(0); /* first call gets address... */ in hat_boot_kdi_init()244 (void) kbm_push(pa); in kdi_prw()
432 kbm_push(paddr_t pa) in kbm_push() function