Symbol: vhpet_counter
usr/src/uts/intel/io/vmm/io/vhpet.c
304
uint32_t counter = vhpet_counter(vhpet, &now);
usr/src/uts/intel/io/vmm/io/vhpet.c
517
counter = vhpet_counter(vhpet, &now);
usr/src/uts/intel/io/vmm/io/vhpet.c
549
val64 = vhpet_counter(vhpet, NULL);
usr/src/uts/intel/io/vmm/io/vhpet.c
595
counter = vhpet_counter(vhpet, &now);
usr/src/uts/intel/io/vmm/io/vhpet.c
655
data = vhpet_counter(vhpet, NULL);