import "generic_io.idl";
Public Attributes | |
byte | bus |
byte | devfn |
unsigned short | vendor |
unsigned short | device |
unsigned short | sub_vendor |
unsigned short | sub_device |
unsigned long | dev_class |
unsigned long | irq |
l4_io_res_t | res [MAX_PCIDEV_RES] |
char | name [80] |
char | slot_name [8] |
l4_io_pdev_t | handle |