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
14LC_ALL=C
15sed -n -e 's/^00*/0/' -e \
16's/^\([0-9a-fA-F]*\) . VDSO_\([a-zA-Z0-9_]*\)$/\#define vdso32_offset_\2\t0x\1/p'
17