src/sim/syscall_emul.hh

346     int val3 = process->getSyscallArg(tc, index);
374             futex_map.suspend_bitset(uaddr, process->tgid(), tc, val3);
381         return futex_map.wakeup_bitset(uaddr, process->tgid(), val3);
391          * val3 is still the value of the futex pointed to by uaddr.
393         if (OS::TGT_FUTEX_CMP_REQUEUE && val3 != mem_val)
408          * (op, oparg, cmp, cmparg are encoded in val3)
423         // extract op, oparg, cmp, cmparg from val3
424         int wake_cmparg =  val3 & 0xfff;
425         int wake_oparg  = (val3 & 0xfff000)   >> 12;
426         int wake_cmp    = (val3 & 0xf000000)  >> 24;
427         int wake_op     = (val3 & 0xf0000000) >> 28;