Symbol: VHPET_LOCKED
usr/src/uts/intel/io/vmm/io/vhpet.c
322
ASSERT(VHPET_LOCKED(vhpet));
usr/src/uts/intel/io/vmm/io/vhpet.c
344
ASSERT(VHPET_LOCKED(vhpet));