Re: extern uint64_t tsc_frequency missing

[Matthew Dillon]

:I believe it belongs to i386/include/clock.h, doesn't it?
:
:-- 
:Michal Belczyk

    When it replaces tsc_freq, which is not yet.  Lets save this until
    after I roll the release branch.

                                        -Matt