processor_array   217 drivers/pci/controller/pci-hyperv.c 	u16	processor_array[32];
processor_array  1333 drivers/pci/controller/pci-hyperv.c 	int_pkt->int_desc.processor_array[0] =