acpicpu_writereg
acpicpu_writereg(&sc->sc_pstate_control, ps->ps_control);
acpicpu_writereg(&sc->sc_tstate_control, ts->ts_control);