1#!/bin/sh
 2# SPDX-License-Identifier: GPL-2.0
 3
 4in="$1"
 5out="$2"
 6my_abis=`echo "($3)" | tr ',' '|'`
 7my_abi="$4"
 8offset="$5"
 9
10emit() {
11	t_nxt="$1"
12	t_nr="$2"
13	t_entry="$3"
14
15	while [ $t_nxt -lt $t_nr ]; do
16		printf "__SYSCALL(%s,sys_ni_syscall)\n" "${t_nxt}"
17		t_nxt=$((t_nxt+1))
18	done
19	printf "__SYSCALL(%s,%s)\n" "${t_nxt}" "${t_entry}"
20}
21
22grep -E "^[0-9A-Fa-fXx]+[[:space:]]+${my_abis}" "$in" | sort -n | (
23	nxt=0
24	if [ -z "$offset" ]; then
25		offset=0
26	fi
27
28	while read nr abi name entry compat ; do
29		if [ "$my_abi" = "64_o32" ] && [ ! -z "$compat" ]; then
30			emit $((nxt+offset)) $((nr+offset)) $compat
31		else
32			emit $((nxt+offset)) $((nr+offset)) $entry
33		fi
34		nxt=$((nr+1))
35	done
36) > "$out"