blob: 98b2f9f74b49a20eaa3479bbe6458b27d71d0254 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/** @file
*
* Copyright (c) 2025, ARM Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-2-Clause-Patent
**/
#ifndef TIMER_DXE_H_
#define TIMER_DXE_H_
// Timer IntIDs are architecturally defined for GICv5
#define GICV5_ARCH_TIMER_HYP_INTID 0x2000001a
#define GICV5_ARCH_TIMER_VIRT_INTID 0x2000001b
#define GICV5_ARCH_TIMER_HYP_VIRT_INTID 0x2000001c
#define GICV5_ARCH_TIMER_SEC_INTID 0x2000001d
#define GICV5_ARCH_TIMER_INTID 0x2000001e
#endif // TIMER_DXE_H_
|
