Symbol: vatpit_delta_ticks
sys/amd64/vmm/io/vatpit.c
133
delta_ticks = vatpit_delta_ticks(vatpit, c);
sys/amd64/vmm/io/vatpit.c
235
delta_ticks = vatpit_delta_ticks(vatpit, c);