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 */