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