hpet_mc
mc = read_counter(&hpet->hpet_mc);
write_counter(read_counter(&hpet->hpet_mc),
m = read_counter(&hpet->hpet_mc);
m = read_counter(&hpet->hpet_mc);
start = read_counter(&hpet->hpet_mc);
m = read_counter(&hpet->hpet_mc);
write_counter(0L, &hpet->hpet_mc);