calibrated_APIC_clock still have two copies. it seems we should use 32 bit, because some system may not has tsc but it is some long than 64 bits...ThanksYinghai Lu