9 #include <asm/hpet.h>
85 		/* HPET disabled in HPTC. Trying to enable */  in ich_force_hpet_resume()
93 		printk(KERN_DEBUG "Force enabled HPET at resume\n");  in ich_force_hpet_resume()
109 			"cannot force enable HPET\n");  in ich_force_enable_hpet()
117 			"cannot force enable HPET\n");  in ich_force_enable_hpet()
125 		/* HPET is enabled in HPTC. Just not reported by BIOS */  in ich_force_enable_hpet()
128 		dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at "  in ich_force_enable_hpet()
134 	/* HPET disabled in HPTC. Trying to enable */  in ich_force_enable_hpet()
149 			"Failed to force enable HPET\n");  in ich_force_enable_hpet()
152 		dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at "  in ich_force_enable_hpet()
182 	printk(KERN_INFO "HPET not enabled in BIOS. "  in hpet_print_force_info()
183 	       "You might try hpet=force boot option\n");  in hpet_print_force_info()
203 		printk(KERN_DEBUG "Force enabled HPET at resume\n");  in old_ich_force_hpet_resume()
218 	 * Bit 17 is HPET enable bit.  in old_ich_force_enable_hpet()
219 	 * Bit 16:15 control the HPET base address.  in old_ich_force_enable_hpet()
226 		dev_printk(KERN_DEBUG, &dev->dev, "HPET at 0x%lx\n",  in old_ich_force_enable_hpet()
232 	 * HPET is disabled. Trying enabling at FED00000 and check  in old_ich_force_enable_hpet()
244 		/* HPET is enabled in HPTC. Just not reported by BIOS */  in old_ich_force_enable_hpet()
247 		dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at "  in old_ich_force_enable_hpet()
254 	dev_printk(KERN_DEBUG, &dev->dev, "Failed to force enable HPET\n");  in old_ich_force_enable_hpet()
295 		printk(KERN_DEBUG "Force enabled HPET at resume\n");  in vt8237_force_hpet_resume()
314 	 * Bit 7 is HPET enable bit.  in vt8237_force_enable_hpet()
315 	 * Bit 31:10 is HPET base address (contrary to what datasheet claims)  in vt8237_force_enable_hpet()
319 		dev_printk(KERN_DEBUG, &dev->dev, "HPET at 0x%lx\n",  in vt8237_force_enable_hpet()
325 	 * HPET is disabled. Trying enabling at FED00000 and check  in vt8237_force_enable_hpet()
334 		dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at "  in vt8237_force_enable_hpet()
341 	dev_printk(KERN_DEBUG, &dev->dev, "Failed to force enable HPET\n");  in vt8237_force_enable_hpet()
354 	printk(KERN_DEBUG "Force enabled HPET at resume\n");  in ati_force_hpet_resume()
415 	dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at 0x%lx\n",  in ati_force_enable_hpet()
428 	printk(KERN_DEBUG "Force enabled HPET at resume\n");  in nvidia_force_hpet_resume()
447 	dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at 0x%lx\n",  in nvidia_force_enable_hpet()
502  * According to the datasheet e6xx systems have the HPET hardwired to
512 	dev_printk(KERN_DEBUG, &dev->dev, "Force enabled HPET at "  in e6xx_force_enable_hpet()
519  * HPET MSI on some boards (ATI SB700/SB800) has side effect on
520  * floppy DMA. Disable HPET MSI on such platforms.