17 lines
374 B
C
17 lines
374 B
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
/* Copyright (C) 2019 Arm Ltd. */
|
|
|
|
#ifndef __ASM_PVCLOCK_ABI_H
|
|
#define __ASM_PVCLOCK_ABI_H
|
|
|
|
/* The below structure is defined in ARM DEN0057A */
|
|
|
|
struct pvclock_vcpu_stolen_time {
|
|
__le32 revision;
|
|
__le32 attributes;
|
|
__le64 stolen_time;
|
|
/* Structure must be 64 byte aligned, pad to that size */
|
|
u8 padding[48];
|
|
} __packed;
|
|
|
|
#endif
|