FIX: added an extern declaration of set_cpu() needed by mutexes