1  /* Set flags signalling availability of kernel features based on given
       2     kernel version number.  x86-64 version.
       3     Copyright (C) 1999-2023 Free Software Foundation, Inc.
       4     This file is part of the GNU C Library.
       5  
       6     The GNU C Library is free software; you can redistribute it and/or
       7     modify it under the terms of the GNU Lesser General Public
       8     License as published by the Free Software Foundation; either
       9     version 2.1 of the License, or (at your option) any later version.
      10  
      11     The GNU C Library is distributed in the hope that it will be useful,
      12     but WITHOUT ANY WARRANTY; without even the implied warranty of
      13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
      14     Lesser General Public License for more details.
      15  
      16     You should have received a copy of the GNU Lesser General Public
      17     License along with the GNU C Library; if not, see
      18     <https://www.gnu.org/licenses/>.  */
      19  
      20  /* Define that x32 is a ILP32 ABI to set the correct interface to pass
      21     64-bits values through syscalls.  */
      22  #ifdef __ILP32__
      23  # define __ASSUME_WORDSIZE64_ILP32	1
      24  #endif
      25  
      26  #include_next <kernel-features.h>