Symbol: gic_r_write_8
sys/arm64/arm64/gic_v3_var.h
130
void gic_r_write_8(device_t, bus_size_t, uint64_t var);
sys/arm64/arm64/gicv3_its.c
855
gic_r_write_8(gicv3, GICR_PROPBASER, xbaser);
sys/arm64/arm64/gicv3_its.c
873
gic_r_write_8(gicv3, GICR_PROPBASER, xbaser);
sys/arm64/arm64/gicv3_its.c
888
gic_r_write_8(gicv3, GICR_PENDBASER, xbaser);