2019-06-03 13:44:50 +08:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2015-03-26 02:13:16 +08:00
|
|
|
/*
|
|
|
|
* Adapted from arm64 version.
|
|
|
|
*
|
|
|
|
* Copyright (C) 2012 ARM Limited
|
|
|
|
*/
|
|
|
|
#ifndef __ASM_VDSO_DATAPAGE_H
|
|
|
|
#define __ASM_VDSO_DATAPAGE_H
|
|
|
|
|
|
|
|
#ifdef __KERNEL__
|
|
|
|
|
|
|
|
#ifndef __ASSEMBLY__
|
|
|
|
|
2019-11-04 18:59:59 +08:00
|
|
|
#include <vdso/datapage.h>
|
2015-03-26 02:13:16 +08:00
|
|
|
#include <asm/page.h>
|
|
|
|
|
|
|
|
union vdso_data_store {
|
2019-11-04 18:59:59 +08:00
|
|
|
struct vdso_data data[CS_BASES];
|
|
|
|
u8 page[PAGE_SIZE];
|
2015-03-26 02:13:16 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif /* !__ASSEMBLY__ */
|
|
|
|
|
|
|
|
#endif /* __KERNEL__ */
|
|
|
|
|
|
|
|
#endif /* __ASM_VDSO_DATAPAGE_H */
|