static void __init ap_init_timer(void) { integrator_time_init(1000000 * TICKS_PER_uSEC / HZ, 0); }
static void __init intcp_timer_init(void) { integrator_time_init(1000000 / HZ, TIMER_CTRL_IE); }