FADT_TMR_VAL_EXT
psc->sc_fadt->flags & FADT_TMR_VAL_EXT ? 32 : 24);
if (psc->sc_fadt->flags & FADT_TMR_VAL_EXT)