Searched refs:VLAPIC_TIMER_LOCKED (Results 1 – 1 of 1) sorted by relevance
86 #define VLAPIC_TIMER_LOCKED(vlapic) MUTEX_HELD(&((vlapic)->timer_lock)) macro265 ASSERT(VLAPIC_TIMER_LOCKED(vlapic)); in vlapic_update_divider()663 ASSERT(VLAPIC_TIMER_LOCKED(vlapic)); in vlapic_fire_timer()