synchronise_count_master
extern void synchronise_count_master(int cpu);
synchronise_count_master(cpu);