VMD_CONFIG
val = pci_read_config(dev, VMD_CONFIG, 2);
pci_write_config(dev, VMD_CONFIG, val, 2);
switch (VMD_BUS_START(pci_read_config(dev, VMD_CONFIG, 2))) {