blob: c4f1c0a0789cd18b78d415c522f9701c560c7959 [file] [log] [blame]
Steven Priceb48c1a42019-10-21 16:28:16 +01001/* 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