[  176.534957] vboxpci: vboxPciOsDevInit: dev=1b00
[  176.534982] vboxpci: detected device: 10de:06dd at 1b:00.0, driver pci-stub
[  176.534991] vboxpci: vboxPciOsDevInit: dev=1b00 pdev=ffff883fc2157000
[  176.534999] pci-stub 0000:1b:00.0: enabling device (0040 -> 0043)
[  176.535010] pci-stub 0000:1b:00.0: PCI INT A -> GSI 40 (level, low) -> IRQ 40
[  176.535057] pci-stub 0000:1b:00.0: irq 167 for MSI/MSI-X
[  176.535077] vboxpci: enabled MSI
[  176.535118] 1b00: linux vboxPciOsDevGetRegionInfo: reg=0
[  176.535120] got mmio region: c8000000:33554432
[  176.535123] 1b00: linux vboxPciOsDevGetRegionInfo: reg=1
[  176.535124] got mmio region: d0000000:134217728
[  176.535126] 1b00: linux vboxPciOsDevGetRegionInfo: reg=3
[  176.535127] got mmio region: cc000000:67108864
[  176.535129] 1b00: linux vboxPciOsDevGetRegionInfo: reg=5
[  176.535130] got pio region: 3f80:128
[  176.535132] 1b00: linux vboxPciOsDevGetRegionInfo: reg=6
[  176.535133] got mmio region: c7f00000:524288
[  176.535158] got PCI IRQ: 167
[  176.536200] linux vboxPciOsDevMapRegion: reg=0 start=c8000000 size=33554432
[  178.905664] created IOMMU domain ffff883daaee5ce0
[  179.012662] power state: 0
[  179.012676] vboxpci: pci_reset_function() failed
[  179.012695] vboxpci: iommu_attach_device() success
[  195.855112] power state: 1
[  195.855121] vboxpci: iommu_detach_device()
[  196.187630] free PCI IRQ: 167
[  196.536287] vboxpci: vboxPciOsDevDeinit: dev=1b00
[  196.536345] pci-stub 0000:1b:00.0: PCI INT A disabled
[  197.287238] vboxpci: vboxPciOsDevDeinit: dev=1b00