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