162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci/* Copyright (C) 2019 Arm Ltd. */
362306a36Sopenharmony_ci
462306a36Sopenharmony_ci#ifndef __ASM_PVCLOCK_ABI_H
562306a36Sopenharmony_ci#define __ASM_PVCLOCK_ABI_H
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci/* The below structure is defined in ARM DEN0057A */
862306a36Sopenharmony_ci
962306a36Sopenharmony_cistruct pvclock_vcpu_stolen_time {
1062306a36Sopenharmony_ci	__le32 revision;
1162306a36Sopenharmony_ci	__le32 attributes;
1262306a36Sopenharmony_ci	__le64 stolen_time;
1362306a36Sopenharmony_ci	/* Structure must be 64 byte aligned, pad to that size */
1462306a36Sopenharmony_ci	u8 padding[48];
1562306a36Sopenharmony_ci} __packed;
1662306a36Sopenharmony_ci
1762306a36Sopenharmony_ci#endif
18