kernel/vdso/gen_vdso32_offsets.sh

0001 #!/bin/sh
0002 # SPDX-License-Identifier: GPL-2.0
0003
0004 #
0005 # Match symbols in the DSO that look like VDSO_*; produce a header file
0006 # of constant offsets into the shared object.
0007 #
0008 # Doing this inside the Makefile will break the $(filter-out) function,
0009 # causing Kbuild to rebuild the vdso-offsets header file every time.
0010 #
0011 # Author: Will Deacon <will.deacon@arm.com
0012 #
0013
0014 LC_ALL=C
0015 sed -n -e 's/^00*/0/' -e \
0016 's/^\([0-9a-fA-F]*\) . VDSO_\([a-zA-Z0-9_]*\)$/\#define vdso32_offset_\2\t0x\1/p'