gen_vdso_offsets.sh 473 B

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