os_futex_wait
int os_futex_wait(void *uaddr, unsigned int val);
os_futex_wait(&cpu_states[cpu], UML_CPU_PAUSED);