__device_refresh(REFRESH_ASYNC); 
__device_refresh(); 
static inline void __device_complete(void){	inb(0x161f);	inb(0x1604);	__device_refresh(REFRESH_ASYNC);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/393ad299658d8464149820363ee09bdf3fd45566/hdaps.c/clean/drivers/hwmon/hdaps.c