2 # SPDX-License-Identifier: GPL-2.0-or-later
4 # Just process the CPP output from systbl_chk.c and complain
5 # if anything is out of order.
7 # Copyright © 2008 IBM Corporation
10 awk 'BEGIN { num = -1; } # Ignore the beginning of the file
13 /^START_TABLE/ { num = 0; next; }
16 printf "Error: NR_syscalls (%s) is not one more than the last syscall (%s)\n",
20 num = -1; # Ignore the rest of the file
24 if (($1 != -1) && ($1 != num)) {
25 printf "Error: Syscall %s out of order (expected %s)\n",