gen_vdso_offsets.sh

 1#!/bin/sh
 2# SPDX-License-Identifier: GPL-2.0
 3
 4#
 5# Derived from RISC-V and ARM64:
 6# Author: Will Deacon <will.deacon@arm.com>
 7#
 8# Match symbols in the DSO that look like VDSO_*; produce a header file
 9# of constant offsets into the shared object.
10#
11
12LC_ALL=C sed -n -e 's/^00*/0/' -e \
13's/^\([0-9a-fA-F]*\) . VDSO_\([a-zA-Z0-9_]*\)$/\#define vdso_offset_\2\t0x\1/p'