generic_bs_poke_8
.bs_poke_8 = generic_bs_poke_8,
int generic_bs_poke_8(void *, bus_space_handle_t, bus_size_t, uint64_t);
void generic_bs_poke_8(void) __asm(__STRING(generic_bs_poke_8));