1 #!/bin/sh 2 # SPDX-License-Identifier: GPL-2.0 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 vdso32_offset_\2\t0x\1/p'
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.