Symbol: ddi_poke64
usr/src/uts/common/sys/sunddi.h
613
int ddi_poke64(dev_info_t *dip, int64_t *addr, int64_t val);
usr/src/uts/sun4/io/efcode/fcpci.c
805
error = ddi_poke64(rp->child, (int64_t *)virt, x);
usr/src/uts/sun4u/io/opl_cfg.c
1575
error = ddi_poke64(rp->child, (int64_t *)virt, x);