| l4io_desc_device_t | |
| l4io_desc_resource_t | |
| l4io_drv | IO driver types. One dword encoding driver source and type |
| l4io_info | I/O Info Page Structure. This is the L4Env's I/O server info page. We have 4KB and fill it 0...L4_PAGESIZE-1 |
| l4io_pci_dev | PCI device information (struct) |
| l4io_res | PCI resources (regions) |