Symbol: VATPIC_LOCKED
usr/src/uts/intel/io/vmm/io/vatpic.c
214
ASSERT(VATPIC_LOCKED(vatpic));
usr/src/uts/intel/io/vmm/io/vatpic.c
399
ASSERT(VATPIC_LOCKED(vatpic));