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