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