1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (C) 2019 Arm Ltd. */
3 
4 #ifndef __ASM_PVCLOCK_ABI_H
5 #define __ASM_PVCLOCK_ABI_H
6 
7 /* The below structure is defined in ARM DEN0057A */
8 
9 struct pvclock_vcpu_stolen_time {
10 	__le32 revision;
11 	__le32 attributes;
12 	__le64 stolen_time;
13 	/* Structure must be 64 byte aligned, pad to that size */
14 	u8 padding[48];
15 } __packed;
16 
17 #endif
18