i_ddi_prot_io_put32
hp->ahi_put32 = i_ddi_prot_io_put32;
i_ddi_prot_io_put32(ddi_acc_impl_t *hdlp, uint32_t *addr, uint32_t value);