Searched refs:VLAPIC_TIMER_LOCKED (Results 1 – 1 of 1) sorted by relevance
72 #define VLAPIC_TIMER_LOCKED(vlapic) mtx_owned(&((vlapic)->timer_mtx)) macro644 KASSERT(VLAPIC_TIMER_LOCKED(vlapic), ("vlapic_fire_timer not locked")); in vlapic_fire_timer()