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