Symbol: apic_timer_restart
usr/src/uts/i86pc/io/mp_platform_common.c
1043
apic_timer_stop_count, apic_timer_restart);
usr/src/uts/i86pc/sys/apic_timer.h
77
extern void apic_timer_restart(hrtime_t);