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 __ASSEMBLER__ 9 10 #include <asm/vdso/processor.h> 11 12 #endif /* __ASSEMBLER__ */ 13 14 #endif /* __VDSO_PROCESSOR_H */ 15