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