1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_GENERIC_IOCTL_H
 3#define _ASM_GENERIC_IOCTL_H
 4
 5#include <uapi/asm-generic/ioctl.h>
 6
 7#ifdef __CHECKER__
 8#define _IOC_TYPECHECK(t) (sizeof(t))
 9#else
10/* provoke compile error for invalid uses of size argument */
11extern unsigned int __invalid_size_argument_for_IOC;
12#define _IOC_TYPECHECK(t) \
13	((sizeof(t) == sizeof(t[1]) && \
14	  sizeof(t) < (1 << _IOC_SIZEBITS)) ? \
15	  sizeof(t) : __invalid_size_argument_for_IOC)
16#endif
17
18#endif /* _ASM_GENERIC_IOCTL_H */

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_GENERIC_IOCTL_H
 3#define _ASM_GENERIC_IOCTL_H
 4
 5#include <uapi/asm-generic/ioctl.h>
 6
 7#ifdef __CHECKER__
 8#define _IOC_TYPECHECK(t) (sizeof(t))
 9#else
10/* provoke compile error for invalid uses of size argument */
11extern unsigned int __invalid_size_argument_for_IOC;
12#define _IOC_TYPECHECK(t) \
13	((sizeof(t) == sizeof(t[1]) && \
14	  sizeof(t) < (1 << _IOC_SIZEBITS)) ? \
15	  sizeof(t) : __invalid_size_argument_for_IOC)
16#endif
17
18#endif /* _ASM_GENERIC_IOCTL_H */