sysdecode_umtx_op
const char *sysdecode_umtx_op(int _op);
print_integer_arg(sysdecode_umtx_op, op);
print_integer_arg(sysdecode_umtx_op, fp, rem);