Home
last modified time | relevance | path

Searched refs:VLAPIC_TIMER_LOCKED (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/amd64/vmm/io/
H A Dvlapic.c72 #define VLAPIC_TIMER_LOCKED(vlapic) mtx_owned(&((vlapic)->timer_mtx)) macro
644 KASSERT(VLAPIC_TIMER_LOCKED(vlapic), ("vlapic_fire_timer not locked")); in vlapic_fire_timer()