FUTEX_32
.flags = FUTEX_32,
.flags = FUTEX_32,
waitv[0].flags = FUTEX_PRIVATE_FLAG | FUTEX_32;
waitv[i].flags = FUTEX_32 | FUTEX_PRIVATE_FLAG;
waitv[i].flags = FUTEX_32;
#ifndef FUTEX_32