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