Searched refs:gic_r_write_4 (Results 1 – 3 of 3) sorted by relevance
114 void gic_r_write_4(device_t, bus_size_t, uint32_t var);
630 gic_r_write_4(gicv3, GICR_CTLR, ctlr); in its_init_cpu_lpi()691 gic_r_write_4(gicv3, GICR_CTLR, ctlr); in its_init_cpu_lpi()
225 gic_r_write_4(device_t dev, bus_size_t offset, uint32_t val) in gic_r_write_4() function