vdso-symbols.h

1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef __S390_VDSO_SYMBOLS_H__
3#define __S390_VDSO_SYMBOLS_H__
4
5#include <generated/vdso-offsets.h>
6
7#define VDSO_SYMBOL(tsk, name) ((tsk)->mm->context.vdso_base + (vdso_offset_##name))
8
9#endif /* __S390_VDSO_SYMBOLS_H__ */