Searched refs:pintr_disabled_restore (Results 1 – 2 of 2) sorted by relevance
136 pintr_disabled_restore(void *xold) in pintr_disabled_restore() function149 cleanup_push(saved, pintr_disabled_restore); in pintr_push_enable()
170 extern void pintr_disabled_restore(void *);