Symbol: HPET_TARGET_TICKS