HPET_CAP_COUNT_SIZE
cap &= ~HPET_CAP_COUNT_SIZE; /* 32-bit timer */
(sc->caps & HPET_CAP_COUNT_SIZE) ? " 64bit" : "",