include/vki/vki-scnums-32bit-linux.h

   1 /*
   2    This file is part of Valgrind, a dynamic binary instrumentation framework.
   3
   4    Copyright (C) 2019 Bart Van Assche <bvanassche@acm.org>
   5
   6    This program is free software; you can redistribute it and/or
   7    modify it under the terms of the GNU General Public License as
   8    published by the Free Software Foundation; either version 2 of the
   9    License, or (at your option) any later version.
  10
  11    This program is distributed in the hope that it will be useful, but
  12    WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with this program; if not, see <http://www.gnu.org/licenses/>.
  18
  19    The GNU General Public License is contained in the file COPYING.
  20 */
  21
  22 #ifndef __VKI_SCNUMS_32BIT_LINUX_H
  23 #define __VKI_SCNUMS_32BIT_LINUX_H
  24
  25 // Derived from the __BITS_PER_LONG == 32 sections in
  26 // linux-5.2/include/uapi/asm-generic/unistd.h
  27
  28 #define __NR_clock_gettime64    403
  29 #define __NR_clock_settime64    404
  30 #define __NR_clock_adjtime64    405
  31 #define __NR_clock_getres_time64        406
  32 #define __NR_clock_nanosleep_time64     407
  33 #define __NR_timer_gettime64    408
  34 #define __NR_timer_settime64    409
  35 #define __NR_timerfd_gettime64  410
  36 #define __NR_timerfd_settime64  411
  37 #define __NR_utimensat_time64   412
  38 #define __NR_pselect6_time64    413
  39 #define __NR_ppoll_time64       414
  40 #define __NR_io_pgetevents_time64       416
  41 #define __NR_recvmmsg_time64    417
  42 #define __NR_mq_timedsend_time64        418
  43 #define __NR_mq_timedreceive_time64     419
  44 #define __NR_semtimedop_time64  420
  45 #define __NR_rt_sigtimedwait_time64     421
  46 #define __NR_futex_time64       422
  47 #define __NR_sched_rr_get_interval_time64       423
  48
  49 #endif