vmconfig          608 drivers/pci/controller/vmd.c 		u32 vmcap, vmconfig;
vmconfig          611 drivers/pci/controller/vmd.c 		pci_read_config_dword(vmd->dev, PCI_REG_VMCONFIG, &vmconfig);
vmconfig          613 drivers/pci/controller/vmd.c 		    (BUS_RESTRICT_CFG(vmconfig) == 0x1))