1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2020 ARM Ltd.
4 */
5#ifndef __VDSO_PROCESSOR_H
6#define __VDSO_PROCESSOR_H
7
8#ifndef __ASSEMBLY__
9
10#include <asm/vdso/processor.h>
11
12#endif /* __ASSEMBLY__ */
13
14#endif /* __VDSO_PROCESSOR_H */
15