initclocks_pcpu
initclocks_pcpu();
initclocks_pcpu(); /* clock interrupts (via IPIs) */
void initclocks_pcpu(void);