db_ddi_put32
ap->ahi_put32 = db_ddi_put32;
db_ddi_put32(handle, (uint32_t *)addr,
db_ddi_put32(handle, (uint32_t *)addr,
db_ddi_put32(handle, (uint32_t *)addr, (uint32_t)(data & 0xffffffff));
db_ddi_put32(handle, (uint32_t *)addr + 1, (uint32_t)(data >> 32));
db_ddi_put32(handle, dev_addr++, *host_addr++);
db_ddi_put32(handle, dev_addr, *host_addr++);
static void db_ddi_put32(ddi_acc_impl_t *handle, uint32_t *addr,