Searched refs:VATPIC_LOCKED (Results 1 – 1 of 1) sorted by relevance
58 #define VATPIC_LOCKED(vatpic) mtx_owned(&((vatpic)->mtx)) macro205 KASSERT(VATPIC_LOCKED(vatpic), ("vatpic_notify_intr not locked")); in vatpic_notify_intr()428 KASSERT(VATPIC_LOCKED(vatpic), in vatpic_set_pinstate()