Symbol: GIC_CDPEND_ID_SHIFT
sys/arm64/arm64/gicv5reg.h
149
#define GIC_CDPEND_ID_MASK (0xfffffful << GIC_CDPEND_ID_SHIFT)
sys/arm64/arm64/gicv5reg.h
150
#define GIC_CDPEND_ID(x) ((uint64_t)(x) << GIC_CDPEND_ID_SHIFT)