acpitimer_read
val2 = acpitimer_read(sc);
return acpitimer_read(tc->tc_priv);
uint32_t acpitimer_read(struct acpitimer_softc *);