generic_bs_poke_4
.bs_poke_4 = generic_bs_poke_4,
int generic_bs_poke_4(void *, bus_space_handle_t, bus_size_t, uint32_t);
void generic_bs_poke_4(void) __asm(__STRING(generic_bs_poke_4));