1 /* SPDX-License-Identifier: GPL-2.0-only */ 1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 2 /* 3 * Copyright (C) 2020 ARM Ltd. 3 * Copyright (C) 2020 ARM Ltd. 4 */ 4 */ 5 #ifndef __VDSO_PROCESSOR_H 5 #ifndef __VDSO_PROCESSOR_H 6 #define __VDSO_PROCESSOR_H 6 #define __VDSO_PROCESSOR_H 7 7 8 #ifndef __ASSEMBLY__ 8 #ifndef __ASSEMBLY__ 9 9 10 #include <asm/vdso/processor.h> 10 #include <asm/vdso/processor.h> 11 11 12 #endif /* __ASSEMBLY__ */ 12 #endif /* __ASSEMBLY__ */ 13 13 14 #endif /* __VDSO_PROCESSOR_H */ 14 #endif /* __VDSO_PROCESSOR_H */ 15 15
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.