Symbol: vatpit_delta_ticks
usr/src/uts/intel/io/vmm/io/vatpit.c
141
delta_ticks = vatpit_delta_ticks(vatpit, c);
usr/src/uts/intel/io/vmm/io/vatpit.c
255
delta_ticks = vatpit_delta_ticks(vatpit, c);