/* Reports the temperature in degrees Fahrenheit. The API is in farenheit. It was designed by an imperial measurement luddite.  */
static int wdt_get_temperature(void)
/* Reports the temperature in degrees Fahrenheit. The API is in farenheit. It was designed by an imperial measurement luddite.  */
static int wdt_get_temperature(void)
{
	unsigned short c;
	unsigned long flags;
	spin_lock_irqsave(&wdt_lock, flags);
	c = inb_p(WDT_RT);
	spin_unlock_irqrestore(&wdt_lock, flags);
	return (c * 11 / 15) + 7;
}