Symbol: gic_r_write_4
sys/arm64/arm64/gic_v3_var.h
129
void gic_r_write_4(device_t, bus_size_t, uint32_t var);
sys/arm64/arm64/gicv3_its.c
843
gic_r_write_4(gicv3, GICR_CTLR, ctlr);
sys/arm64/arm64/gicv3_its.c
909
gic_r_write_4(gicv3, GICR_CTLR, ctlr);