dev = pci_get_device(cur->vendor, cur->device, 0); 
dev = pci_get_device(cur->vendor, cur->device, NULL); 
void mach_reboot_fixups(void){	struct device_fixup *cur;	struct pci_dev *dev;	int i;	for (i=0; i < (sizeof(fixups_table)/sizeof(fixups_table[0])); i++) {		cur = &(fixups_table[i]);		dev = pci_get_device(cur->vendor, cur->device, 0);		if (!dev)			continue;		cur->reboot_fixup(dev);	}	printk(KERN_WARNING "No reboot fixup found for your hardware\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/874ec33ff9ccf3651590697a2c2923b911bf31d0/reboot_fixups.c/clean/arch/i386/kernel/reboot_fixups.c