/* SPDX-License-Identifier: GPL-2.0-only */ | |
/* | |
* Adapted from arm64 version. | |
* | |
* Copyright (C) 2012 ARM Limited | |
*/ | |
#ifndef __ASM_VDSO_DATAPAGE_H | |
#define __ASM_VDSO_DATAPAGE_H | |
#ifdef __KERNEL__ | |
#ifndef __ASSEMBLY__ | |
#include <vdso/datapage.h> | |
#include <asm/page.h> | |
union vdso_data_store { | |
struct vdso_data data[CS_BASES]; | |
u8 page[PAGE_SIZE]; | |
}; | |
#endif /* !__ASSEMBLY__ */ | |
#endif /* __KERNEL__ */ | |
#endif /* __ASM_VDSO_DATAPAGE_H */ |