extern unsigned int get_cpu_id();
extern void         set_cpu_id(unsigned int);