arch/arm64/include/asm/pvclock-abi.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

/* 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