Symbol: pit_update_counter
sys/amd64/vmm/io/vatpit.c
259
(void) pit_update_counter(vatpit, c, true);
sys/amd64/vmm/io/vatpit.c
327
pit_update_counter(vatpit, c, true);
sys/amd64/vmm/io/vatpit.c
389
tmp = pit_update_counter(vatpit, c, false);