dom_req          2865 drivers/pci/controller/pci-hyperv.c 	u16 dom_req, dom;
dom_req          2893 drivers/pci/controller/pci-hyperv.c 	dom_req = hdev->dev_instance.b[5] << 8 | hdev->dev_instance.b[4];
dom_req          2894 drivers/pci/controller/pci-hyperv.c 	dom = hv_get_dom_num(dom_req);
dom_req          2898 drivers/pci/controller/pci-hyperv.c 			"Unable to use dom# 0x%hx or other numbers", dom_req);
dom_req          2903 drivers/pci/controller/pci-hyperv.c 	if (dom != dom_req)
dom_req          2906 drivers/pci/controller/pci-hyperv.c 			 dom_req, dom);