Tn_PER_INT_CAP_MASK
readq(&timer->hpet_config) & Tn_PER_INT_CAP_MASK;
if ((v & Tn_PER_INT_CAP_MASK) == 0) {