hv_put_dom_num   3008 drivers/pci/controller/pci-hyperv.c 	hv_put_dom_num(hbus->sysdata.domain);
hv_put_dom_num   3091 drivers/pci/controller/pci-hyperv.c 	hv_put_dom_num(hbus->sysdata.domain);