Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 1 | #!/bin/sh |
Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 2 | # SPDX-License-Identifier: GPL-2.0 |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 3 | |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 4 | if [ $# -ne 2 ] |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 5 | then |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 6 | echo "Usage: headers_install.sh INFILE OUTFILE" |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 7 | echo |
| 8 | echo "Prepares kernel header files for use by user space, by removing" |
| 9 | echo "all compiler.h definitions and #includes, removing any" |
| 10 | echo "#ifdef __KERNEL__ sections, and putting __underscores__ around" |
| 11 | echo "asm/inline/volatile keywords." |
| 12 | echo |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 13 | echo "INFILE: header file to operate on" |
Masanari Iida | 0f50d21 | 2020-06-16 21:51:32 +0900 | [diff] [blame] | 14 | echo "OUTFILE: output file which the processed header is written to" |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 15 | |
| 16 | exit 1 |
| 17 | fi |
| 18 | |
| 19 | # Grab arguments |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 20 | INFILE=$1 |
| 21 | OUTFILE=$2 |
| 22 | TMPFILE=$OUTFILE.tmp |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 23 | |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 24 | trap 'rm -f $OUTFILE $TMPFILE' EXIT |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 25 | |
Masahiro Yamada | 6224455 | 2019-07-25 17:05:13 +0900 | [diff] [blame] | 26 | # SPDX-License-Identifier with GPL variants must have "WITH Linux-syscall-note" |
| 27 | if [ -n "$(sed -n -e "/SPDX-License-Identifier:.*GPL-/{/WITH Linux-syscall-note/!p}" $INFILE)" ]; then |
| 28 | echo "error: $INFILE: missing \"WITH Linux-syscall-note\" for SPDX-License-Identifier" >&2 |
| 29 | exit 1 |
| 30 | fi |
| 31 | |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 32 | sed -E -e ' |
| 33 | s/([[:space:](])(__user|__force|__iomem)[[:space:]]/\1/g |
| 34 | s/__attribute_const__([[:space:]]|$)/\1/g |
| 35 | s@^#include <linux/compiler(|_types).h>@@ |
| 36 | s/(^|[^a-zA-Z0-9])__packed([^a-zA-Z0-9_]|$)/\1__attribute__((packed))\2/g |
| 37 | s/(^|[[:space:](])(inline|asm|volatile)([[:space:](]|$)/\1__\2__\3/g |
| 38 | s@#(ifndef|define|endif[[:space:]]*/[*])[[:space:]]*_UAPI@#\1 @ |
| 39 | ' $INFILE > $TMPFILE || exit 1 |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 40 | |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 41 | scripts/unifdef -U__KERNEL__ -D__EXPORTED_HEADERS__ $TMPFILE > $OUTFILE |
| 42 | [ $? -gt 1 ] && exit 1 |
| 43 | |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 44 | # Remove /* ... */ style comments, and find CONFIG_ references in code |
| 45 | configs=$(sed -e ' |
| 46 | :comment |
| 47 | s:/\*[^*][^*]*:/*: |
| 48 | s:/\*\*\**\([^/]\):/*\1: |
| 49 | t comment |
| 50 | s:/\*\*/: : |
| 51 | t comment |
| 52 | /\/\*/! b check |
| 53 | N |
| 54 | b comment |
| 55 | :print |
| 56 | P |
| 57 | D |
| 58 | :check |
| 59 | s:^\(CONFIG_[[:alnum:]_]*\):\1\n: |
| 60 | t print |
| 61 | s:^[[:alnum:]_][[:alnum:]_]*:: |
| 62 | s:^[^[:alnum:]_][^[:alnum:]_]*:: |
| 63 | t check |
| 64 | d |
| 65 | ' $OUTFILE) |
| 66 | |
Siddharth Gupta | 5967577 | 2020-05-05 18:52:37 -0700 | [diff] [blame] | 67 | # The entries in the following list do not result in an error. |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 68 | # Please do not add a new entry. This list is only for existing ones. |
| 69 | # The list will be reduced gradually, and deleted eventually. (hopefully) |
| 70 | # |
| 71 | # The format is <file-name>:<CONFIG-option> in each line. |
| 72 | config_leak_ignores=" |
| 73 | arch/alpha/include/uapi/asm/setup.h:CONFIG_ALPHA_LEGACY_START_ADDRESS |
| 74 | arch/arc/include/uapi/asm/page.h:CONFIG_ARC_PAGE_SIZE_16K |
| 75 | arch/arc/include/uapi/asm/page.h:CONFIG_ARC_PAGE_SIZE_4K |
| 76 | arch/arc/include/uapi/asm/swab.h:CONFIG_ARC_HAS_SWAPE |
| 77 | arch/arm/include/uapi/asm/ptrace.h:CONFIG_CPU_ENDIAN_BE8 |
| 78 | arch/hexagon/include/uapi/asm/ptrace.h:CONFIG_HEXAGON_ARCH_VERSION |
| 79 | arch/hexagon/include/uapi/asm/user.h:CONFIG_HEXAGON_ARCH_VERSION |
| 80 | arch/ia64/include/uapi/asm/cmpxchg.h:CONFIG_IA64_DEBUG_CMPXCHG |
| 81 | arch/m68k/include/uapi/asm/ptrace.h:CONFIG_COLDFIRE |
| 82 | arch/nios2/include/uapi/asm/swab.h:CONFIG_NIOS2_CI_SWAB_NO |
| 83 | arch/nios2/include/uapi/asm/swab.h:CONFIG_NIOS2_CI_SWAB_SUPPORT |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 84 | arch/x86/include/uapi/asm/auxvec.h:CONFIG_IA32_EMULATION |
| 85 | arch/x86/include/uapi/asm/auxvec.h:CONFIG_X86_64 |
| 86 | arch/x86/include/uapi/asm/mman.h:CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS |
| 87 | include/uapi/asm-generic/fcntl.h:CONFIG_64BIT |
| 88 | include/uapi/linux/atmdev.h:CONFIG_COMPAT |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 89 | include/uapi/linux/eventpoll.h:CONFIG_PM_SLEEP |
| 90 | include/uapi/linux/hw_breakpoint.h:CONFIG_HAVE_MIXED_BREAKPOINTS_REGS |
| 91 | include/uapi/linux/pktcdvd.h:CONFIG_CDROM_PKTCDVD_WCACHE |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 92 | " |
| 93 | |
| 94 | for c in $configs |
| 95 | do |
Siddharth Gupta | 5967577 | 2020-05-05 18:52:37 -0700 | [diff] [blame] | 96 | leak_error=1 |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 97 | |
| 98 | for ignore in $config_leak_ignores |
| 99 | do |
| 100 | if echo "$INFILE:$c" | grep -q "$ignore$"; then |
Siddharth Gupta | 5967577 | 2020-05-05 18:52:37 -0700 | [diff] [blame] | 101 | leak_error= |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 102 | break |
| 103 | fi |
| 104 | done |
| 105 | |
Siddharth Gupta | 5967577 | 2020-05-05 18:52:37 -0700 | [diff] [blame] | 106 | if [ "$leak_error" = 1 ]; then |
| 107 | echo "error: $INFILE: leak $c to user-space" >&2 |
| 108 | exit 1 |
Masahiro Yamada | c7c0eec | 2019-08-11 02:01:35 +0900 | [diff] [blame] | 109 | fi |
| 110 | done |
| 111 | |
Masahiro Yamada | 555187a | 2019-06-04 19:14:05 +0900 | [diff] [blame] | 112 | rm -f $TMPFILE |
Rob Landley | e0e2fa4 | 2013-03-27 10:24:11 +1100 | [diff] [blame] | 113 | trap - EXIT |