Symbol: gic_r_read_4
sys/arm64/arm64/gic_v3_var.h
127
uint32_t gic_r_read_4(device_t, bus_size_t);
sys/arm64/arm64/gicv3_its.c
751
ctlr = gic_r_read_4(gicv3, GICR_CTLR);
sys/arm64/arm64/gicv3_its.c
841
ctlr = gic_r_read_4(gicv3, GICR_CTLR);
sys/arm64/arm64/gicv3_its.c
907
ctlr = gic_r_read_4(gicv3, GICR_CTLR);