vhpet_counter
counter = vhpet_counter(vhpet, &now);
counter = vhpet_counter(vhpet, nowptr);
val64 = vhpet_counter(vhpet, NULL);
counter = vhpet_counter(vhpet, &now);
data = vhpet_counter(vhpet, NULL);
countbase = vhpet_counter(vhpet, NULL);