/* SPDX-License-Identifier: GPL-2.0 */
  #ifndef _ASM_GENERIC_IOCTL_H
  #define _ASM_GENERIC_IOCTL_H
  
  #include <uapi/asm-generic/ioctl.h>
  
  #ifdef __CHECKER__
  #define _IOC_TYPECHECK(t) (sizeof(t))
  #else
  /* provoke compile error for invalid uses of size argument */
  extern unsigned int __invalid_size_argument_for_IOC;
  #define _IOC_TYPECHECK(t) \
  	((sizeof(t) == sizeof(t[1]) && \
  	  sizeof(t) < (1 << _IOC_SIZEBITS)) ? \
  	  sizeof(t) : __invalid_size_argument_for_IOC)
  #endif
  
  #endif /* _ASM_GENERIC_IOCTL_H */