ret = __hdaps_readb_one(port, val);
ret = __device_refresh_sync(); if (ret) goto out;  *val = inb(port); __device_complete();  out:
static int hdaps_readb_one(unsigned int port, u8 *val){	int ret;	down(&hdaps_sem);	ret = __hdaps_readb_one(port, val);	up(&hdaps_sem);	return ret;}