#endif 
static int __init check_bridge(int vendor, int device){	/* According to Nvidia all timer overrides are bogus. Just ignore	   them all. */	if (vendor == PCI_VENDOR_ID_NVIDIA) {		acpi_skip_timer_override = 1;	}	/*	 * ATI IXP chipsets get double timer interrupts.	 * For now just do this for all ATI chipsets. 	 * FIXME: this needs to be checked for the non ACPI case too.	 */	if (vendor == PCI_VENDOR_ID_ATI)		disable_timer_pin_1 = 1;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a217e8c18113c4f3238b01307782b99aa1547ea2/earlyquirk.c/buggy/arch/i386/kernel/acpi/earlyquirk.c