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