Symbol: octxctl_write_4
sys/arch/octeon/dev/octxctl.c
63
void octxctl_write_4(bus_space_tag_t, bus_space_handle_t, bus_size_t,
sys/arch/octeon/dev/octxctl.c
81
._space_write_4 = octxctl_write_4,