| Server IP : 195.114.193.97 / Your IP : 216.73.217.172 Web Server : LiteSpeed System : Linux host 5.15.0-126-generic #136-Ubuntu SMP Wed Nov 6 10:38:22 UTC 2024 x86_64 User : sembi4241 ( 1126) PHP Version : 8.1.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/src/linux-headers-5.15.0-57-generic/arch/powerpc/kernel/ |
Upload File : |
#!/bin/sh
# SPDX-License-Identifier: GPL-2.0-or-later
#
# Just process the CPP output from systbl_chk.c and complain
# if anything is out of order.
#
# Copyright © 2008 IBM Corporation
#
awk 'BEGIN { num = -1; } # Ignore the beginning of the file
/^#/ { next; }
/^[ \t]*$/ { next; }
/^START_TABLE/ { num = 0; next; }
/^END_TABLE/ {
if (num != $2) {
printf "Error: NR_syscalls (%s) is not one more than the last syscall (%s)\n",
$2, num - 1;
exit(1);
}
num = -1; # Ignore the rest of the file
}
{
if (num == -1) next;
if (($1 != -1) && ($1 != num)) {
printf "Error: Syscall %s out of order (expected %s)\n",
$1, num;
exit(1);
};
num++;
}' "$1"