Symbol: gic_icc_read
sys/arm64/arm64/gic_v3.c
624
active_irq = gic_icc_read(IAR1);
sys/arm64/arm64/gic_v3_reg.h
520
val = gic_icc_read(reg); \
sys/arm64/arm64/gic_v3_reg.h
528
val = gic_icc_read(reg); \