On 2020-12-30 21:04, Neel Chauhan wrote: > It is likely because VMD uses PCI domain above 0x10000 but we aren't > looking at this. The 0x10000 is purely a Linux construct. It seems the PCI domains are virtual. Source: https://lists.x.org/archives/xorg-devel/2016-August/050590.html -Neel