Orange Pi5 kernel

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