shows which device is reporting
indentation fixes
manages IO addresses, starting at 0x+hugepagesize and growing upwards.
fix indentation
ugly: uses vfio.dma_alloc() because memory.dma_alloc() doesn't handle DMA mappings (yet?)