1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * Adapted from arm64 version.
4  *
5  * Copyright (C) 2012 ARM Limited
6  */
7 #ifndef __ASM_VDSO_DATAPAGE_H
8 #define __ASM_VDSO_DATAPAGE_H
9 
10 #ifdef __KERNEL__
11 
12 #ifndef __ASSEMBLY__
13 
14 #include <vdso/datapage.h>
15 #include <asm/page.h>
16 
17 union vdso_data_store {
18 	struct vdso_data	data[CS_BASES];
19 	u8			page[PAGE_SIZE];
20 };
21 
22 #endif /* !__ASSEMBLY__ */
23 
24 #endif /* __KERNEL__ */
25 
26 #endif /* __ASM_VDSO_DATAPAGE_H */
27