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);