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
17union 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 */

 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
17union 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 */