#!/bin/sh
# SPDX-License-Identifier: GPL-2.0
#
# Generate system call table for perf. Derived from
# powerpc script.
#
# Copyright IBM Corp. 2017
# Author(s):  Hendrik Brueckner <brueckner@linux.vnet.ibm.com>
# Changed by: Ravi Bangoria <ravi.bangoria@linux.vnet.ibm.com>
# Changed by: Kim Phillips <kim.phillips@arm.com>

gcc=$1
hostcc=$2
incpath=$3
input=$4

if ! test -r $input; then
	echo "Could not read input file" >&2
	exit 1
fi

create_table_from_c()
{
	local sc nr last_sc

	while read sc nr; do
		printf "%s\n" "	[$nr] = \"$sc\","
		last_sc=$sc
	done

	printf "%s\n" "#define SYSCALLTBL_ARM64_MAX_ID __NR_$last_sc"
}

create_table()
{
	echo "#include \"$input\""
	echo "static const char *syscalltbl_arm64[] = {"
	create_table_from_c
	echo "};"
}

$gcc -E -dM -x c -I $incpath/include/uapi $input \
	|sed -ne 's/^#define __NR_//p' \
	|sort -t' ' -k2 -n	       \
	|create_table