|
|
#include <sys/types.h> #include <sys/hpci.h> #include <sys/ddi.h> #include <sys/hpci_bios.h>
uchar_t bus_number;
uchar_t device_number;
uchar_t link_a;
ushort_t irqmap_a;
uchar_t link_b;
ushort_t irqmap_b;
uchar_t link_c;
ushort_t irqmap_c;
uchar_t link_d;
ushort_t irqmap_d;
uchar_t slot;
uchar_t reserved;
uchar_t bus_numberuchar_t device_numberuchar_t bus_number.
uchar_t link_a, uchar_t link_b, uchar_t link_c, uchar_t link_dushort_t irqmap_a, ushort_t irqmap_b, ushort_t irqmap_c, ushort_t irqmap_duchar_t slot
``Hotplug devices'' in HDK Technical Reference
``PCI'' in HDK Technical Reference
PCI Special Interest Group, PCI BIOS Specification, Revision 2.1, August 26, 1994.