Symbol: GIC_CDDI_Type_SHIFT
sys/arm64/arm64/gicv5.c
858
cddi = (uint64_t)space << GIC_CDDI_Type_SHIFT;
sys/arm64/arm64/gicv5reg.h
53
#define GIC_CDDI_Type_MASK (0x7ul << GIC_CDDI_Type_SHIFT)
sys/arm64/arm64/gicv5reg.h
54
#define GIC_CDDI_Type_PPI (0x1ul << GIC_CDDI_Type_SHIFT)
sys/arm64/arm64/gicv5reg.h
55
#define GIC_CDDI_Type_LPI (0x2ul << GIC_CDDI_Type_SHIFT)
sys/arm64/arm64/gicv5reg.h
56
#define GIC_CDDI_Type_SPI (0x3ul << GIC_CDDI_Type_SHIFT)