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