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