Symbol: octxctl_read_4
sys/arch/octeon/dev/octxctl.c
58
uint32_t octxctl_read_4(bus_space_tag_t, bus_space_handle_t, bus_size_t);
sys/arch/octeon/dev/octxctl.c
78
._space_read_4 = octxctl_read_4,