Symbol: i_ddi_caut_put32
usr/src/uts/i86pc/os/ddi_impl.c
2847
i_ddi_caut_put32(ddi_acc_impl_t *hp, uint32_t *addr, uint32_t value)
usr/src/uts/sun4/os/ddi_impl.c
1833
i_ddi_caut_put32(ddi_acc_impl_t *hp, uint32_t *addr, uint32_t value)