Symbol: GIC_CDPEND_TYPE_SHIFT
sys/arm64/arm64/gicv5reg.h
145
#define GIC_CDPEND_TYPE_MASK (0x7ul << GIC_CDPEND_TYPE_SHIFT)
sys/arm64/arm64/gicv5reg.h
146
#define GIC_CDPEND_TYPE_LPI (0x2ul << GIC_CDPEND_TYPE_SHIFT)
sys/arm64/arm64/gicv5reg.h
147
#define GIC_CDPEND_TYPE_SPI (0x2ul << GIC_CDPEND_TYPE_SHIFT)