pvclock-abi.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2/* Copyright (C) 2019 Arm Ltd. */
 3
 4#ifndef __ASM_PVCLOCK_ABI_H
 5#define __ASM_PVCLOCK_ABI_H
 6
 7/* The below structure is defined in ARM DEN0057A */
 8
 9struct pvclock_vcpu_stolen_time {
10	__le32 revision;
11	__le32 attributes;
12	__le64 stolen_time;
13	/* Structure must be 64 byte aligned, pad to that size */
14	u8 padding[48];
15} __packed;
16
17#endif