Symbol: px_pci_config_put64
usr/src/uts/sun4v/io/px/px_lib4v.c
1529
px_pci_config_put64(handle, dev_addr++, *host_addr++);
usr/src/uts/sun4v/io/px/px_lib4v.c
1532
px_pci_config_put64(handle, dev_addr, *host_addr++);
usr/src/uts/sun4v/io/px/px_lib4v.c
1591
ap->ahi_put64 = px_pci_config_put64;