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 9struct 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