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