extern void integrator_time_init(u32, unsigned int);