pci_debug
pci_debug(flag, dip, fmt, (uintptr_t)(a1), \
pci_debug(flag, dip, fmt, (uintptr_t)(a1), \
pci_debug(flag, dip, fmt, (uintptr_t)(a1), \
extern void pci_debug(uint64_t, dev_info_t *, char *,
pci_debug(flag, dip, fmt, 0, 0, 0, 0, 0);
pci_debug(flag, dip, fmt, (uintptr_t)(a1), 0, 0, 0, 0);
pci_debug(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), 0, 0, 0);