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