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# Inspired by arm64 version. 12# 13 14LC_ALL=C 15sed -n 's/\([0-9a-f]*\) . __kernel_\(.*\)/\#define vdso32_offset_\2\t0x\1/p' 16