Commit | Line | Data |
---|---|---|
9031fefd | 1 | #!/bin/sh |
b2441318 | 2 | # SPDX-License-Identifier: GPL-2.0 |
9031fefd WD |
3 | |
4 | # | |
5 | # Match symbols in the DSO that look like VDSO_*; produce a header file | |
6 | # of constant offsets into the shared object. | |
7 | # | |
8 | # Doing this inside the Makefile will break the $(filter-out) function, | |
9 | # causing Kbuild to rebuild the vdso-offsets header file every time. | |
10 | # | |
11 | # Author: Will Deacon <will.deacon@arm.com | |
12 | # | |
13 | ||
14 | LC_ALL=C | |
15 | sed -n -e 's/^00*/0/' -e \ | |
16 | 's/^\([0-9a-fA-F]*\) . VDSO_\([a-zA-Z0-9_]*\)$/\#define vdso_offset_\2\t0x\1/p' |