Update pthread_on_cpu.c