tc_mem_read_4
tc_mem_read_4,
static inline uint32_t tc_mem_read_4(void *, bus_space_handle_t, bus_size_t);