1 /* SPDX-License-Identifier: GPL-2.0 */
2 /* Copyright (C) 2019 Arm Ltd. */
4 #ifndef __ASM_PVCLOCK_ABI_H
5 #define __ASM_PVCLOCK_ABI_H
7 /* The below structure is defined in ARM DEN0057A */
9 struct pvclock_vcpu_stolen_time
{
13 /* Structure must be 64 byte aligned, pad to that size */