Symbol: px_pci_config_get64
usr/src/uts/sun4v/io/px/px_lib4v.c
1465
*host_addr++ = px_pci_config_get64(handle, dev_addr++);
usr/src/uts/sun4v/io/px/px_lib4v.c
1468
*host_addr++ = px_pci_config_get64(handle, dev_addr);
usr/src/uts/sun4v/io/px/px_lib4v.c
1587
ap->ahi_get64 = px_pci_config_get64;