timer_lock_remote_bases
extern void timer_lock_remote_bases(unsigned int cpu);
timer_lock_remote_bases(cpu);