58 #define	read_counter(MC)	readq(MC)
205 	v = (readq(&timer->hpet_config) & Tn_INT_ROUTE_CAP_MASK) >>  in hpet_timer_set_irq()
411 	writeq((readq(&timer->hpet_config) & ~Tn_INT_ENB_CNF_MASK),  in hpet_release()
420 	    && readq(&timer->hpet_config) & Tn_TYPE_CNF_MASK) {  in hpet_release()
423 		v = readq(&timer->hpet_config);  in hpet_release()
505 	v = readq(&timer->hpet_config);  in hpet_ioctl_ieon()
588 		v = readq(&timer->hpet_config);  in hpet_ioctl_common()
604 			    readq(&timer->hpet_config) & Tn_PER_INT_CAP_MASK;  in hpet_ioctl_common()
610 		v = readq(&timer->hpet_config);  in hpet_ioctl_common()
618 		v = readq(&timer->hpet_config);  in hpet_ioctl_common()
624 		    readq(&timer->hpet_config) & Tn_TYPE_CNF_MASK) {  in hpet_ioctl_common()
625 			v = readq(&timer->hpet_config);  in hpet_ioctl_common()
840 	cap = readq(&hpet->hpet_cap);  in hpet_alloc()
880 	mcfg = readq(&hpet->hpet_config);  in hpet_alloc()