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 vdso64_offset_\2\t0x\1/p'