Symbol: pcpu_initclock
sys/arch/ia64/ia64/clock.c
99
pcpu_initclock();
sys/arch/ia64/include/clock.h
19
void pcpu_initclock(void);