History log of /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/x86/tsc.c
Revision Date Author Comments
# f1948efc 21-Nov-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

tsc: Allow a tsc_freq_hint to be provided

If tsc_freq_hint is set by a caller when the driver is initialised, then
use it instead of trying to calculate it itself.


# 74b77a56 04-Sep-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

libplatsupport: Ignored variables unused in release builds


# bd19f23e 25-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: fix whitespace


# d34c3841 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer from tsc

Directly init the tsc with a pit or hpet


# a7130f9f 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

fix licenses