num_r              15 drivers/char/ipmi/ipmi_plat_data.c 	unsigned int num_r = 1, size = 0, pidx = 0;
num_r              79 drivers/char/ipmi/ipmi_plat_data.c 		num_r++;
num_r              87 drivers/char/ipmi/ipmi_plat_data.c 		num_r++;
num_r              91 drivers/char/ipmi/ipmi_plat_data.c 		r[num_r].start = p->irq;
num_r              92 drivers/char/ipmi/ipmi_plat_data.c 		r[num_r].end = p->irq;
num_r              93 drivers/char/ipmi/ipmi_plat_data.c 		r[num_r].name = "IPMI IRQ";
num_r              94 drivers/char/ipmi/ipmi_plat_data.c 		r[num_r].flags = IORESOURCE_IRQ;
num_r              95 drivers/char/ipmi/ipmi_plat_data.c 		num_r++;
num_r              98 drivers/char/ipmi/ipmi_plat_data.c 	rv = platform_device_add_resources(pdev, r, num_r);