Symbol: vhpet_counter_enabled
usr/src/uts/intel/io/vmm/io/vhpet.c
167
if (vhpet_counter_enabled(vhpet)) {
usr/src/uts/intel/io/vmm/io/vhpet.c
300
ASSERT(vhpet_counter_enabled(vhpet));
usr/src/uts/intel/io/vmm/io/vhpet.c
528
if (vhpet_counter_enabled(vhpet)) {
usr/src/uts/intel/io/vmm/io/vhpet.c
552
if (vhpet_counter_enabled(vhpet))
usr/src/uts/intel/io/vmm/io/vhpet.c
594
if (vhpet_counter_enabled(vhpet)) {