processor_count   216 drivers/pci/controller/pci-hyperv.c 	u16	processor_count;
processor_count  1335 drivers/pci/controller/pci-hyperv.c 	int_pkt->int_desc.processor_count = 1;