18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci/* Copyright (C) 2019 Arm Ltd. */
38c2ecf20Sopenharmony_ci
48c2ecf20Sopenharmony_ci#ifndef __ASM_PVCLOCK_ABI_H
58c2ecf20Sopenharmony_ci#define __ASM_PVCLOCK_ABI_H
68c2ecf20Sopenharmony_ci
78c2ecf20Sopenharmony_ci/* The below structure is defined in ARM DEN0057A */
88c2ecf20Sopenharmony_ci
98c2ecf20Sopenharmony_cistruct pvclock_vcpu_stolen_time {
108c2ecf20Sopenharmony_ci	__le32 revision;
118c2ecf20Sopenharmony_ci	__le32 attributes;
128c2ecf20Sopenharmony_ci	__le64 stolen_time;
138c2ecf20Sopenharmony_ci	/* Structure must be 64 byte aligned, pad to that size */
148c2ecf20Sopenharmony_ci	u8 padding[48];
158c2ecf20Sopenharmony_ci} __packed;
168c2ecf20Sopenharmony_ci
178c2ecf20Sopenharmony_ci#endif
18