Symbol: i_ddi_vaddr_swap_put64
usr/src/uts/intel/os/ddi_i86.c
459
hp->ahi_put64 = i_ddi_vaddr_swap_put64;
usr/src/uts/intel/sys/ddi_isa.h
171
i_ddi_vaddr_swap_put64(ddi_acc_impl_t *hdlp, uint64_t *addr, uint64_t value);