//\r
// This program and the accompanying materials\r
// are licensed and made available under the terms and conditions of the BSD License\r
//\r
// This program and the accompanying materials\r
// are licensed and made available under the terms and conditions of the BSD License\r
// Register definitions used by GCC for GICv3 access.\r
// These are defined by ARMCC, so keep them in the GCC specific code for now.\r
#define ICC_SRE_EL2 S3_4_C12_C9_5\r
// Register definitions used by GCC for GICv3 access.\r
// These are defined by ARMCC, so keep them in the GCC specific code for now.\r
#define ICC_SRE_EL2 S3_4_C12_C9_5\r
#define ICC_CTLR_EL1 S3_0_C12_C12_4\r
#define ICC_CTLR_EL3 S3_6_C12_C12_4\r
#define ICC_PMR_EL1 S3_0_C4_C6_0\r
#define ICC_CTLR_EL1 S3_0_C12_C12_4\r
#define ICC_CTLR_EL3 S3_6_C12_C12_4\r
#define ICC_PMR_EL1 S3_0_C4_C6_0\r