/** @file
  Header file for MADT table parser

  Copyright (c) 2019, ARM Limited. All rights reserved.
  SPDX-License-Identifier: BSD-2-Clause-Patent

  @par Reference(s):
    - Arm Generic Interrupt Controller Architecture Specification,
      GIC architecture version 3 and version 4, issue E
    - Arm Server Base System Architecture 5.0
**/

#pragma once

///
/// Level 3 base server system Private Peripheral Inerrupt (PPI) ID assignments
///
#define ARM_PPI_ID_OVERFLOW_INTERRUPT_FROM_CNTP    30
#define ARM_PPI_ID_OVERFLOW_INTERRUPT_FROM_CNTPS   29
#define ARM_PPI_ID_OVERFLOW_INTERRUPT_FROM_CNTHV   28
#define ARM_PPI_ID_OVERFLOW_INTERRUPT_FROM_CNTV    27
#define ARM_PPI_ID_OVERFLOW_INTERRUPT_FROM_CNTHP   26
#define ARM_PPI_ID_GIC_MAINTENANCE_INTERRUPT       25
#define ARM_PPI_ID_CTIIRQ                          24
#define ARM_PPI_ID_PERFORMANCE_MONITORS_INTERRUPT  23
#define ARM_PPI_ID_COMMIRQ                         22
#define ARM_PPI_ID_PMBIRQ                          21
#define ARM_PPI_ID_CNTHPS                          20
#define ARM_PPI_ID_CNTHVS                          19

///
/// PPI ID allowed ranges
///
#define ARM_PPI_ID_MAX           31
#define ARM_PPI_ID_MIN           16
#define ARM_PPI_ID_EXTENDED_MAX  1119
#define ARM_PPI_ID_EXTENDED_MIN  1056