hwd_leaf_t
(void *)hwd_virt, sizeof (hwd_leaf_t))) {
hwd_leaf_t pci_leaf[HWD_LEAVES_PER_PCI_CHANNEL];