src/sim/syscall_emul.hh

341     Addr uaddr = process->getSyscallArg(tc, index);
359         BufferArg buf(uaddr, sizeof(int));
364          * The value in memory at uaddr is not equal with the expected val
372             futex_map.suspend(uaddr, process->tgid(), tc);
374             futex_map.suspend_bitset(uaddr, process->tgid(), tc, val3);
379         return futex_map.wakeup(uaddr, process->tgid(), val);
381         return futex_map.wakeup_bitset(uaddr, process->tgid(), val3);
386         BufferArg buf(uaddr, sizeof(int));
391          * val3 is still the value of the futex pointed to by uaddr.
395         return futex_map.requeue(uaddr, process->tgid(), val, timeout, uaddr2);
446         int woken1 = futex_map.wakeup(uaddr, process->tgid(), val);