Symbol: VLAPIC_TIMER_LOCKED
usr/src/uts/intel/io/vmm/io/vlapic.c
268
ASSERT(VLAPIC_TIMER_LOCKED(vlapic));
usr/src/uts/intel/io/vmm/io/vlapic.c
666
ASSERT(VLAPIC_TIMER_LOCKED(vlapic));