History log of /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/timer.h
Revision Date Author Comments
# 49a26db1 19-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Combine common arm generic timer code

Previously both aarch32 and aarch64 duplicated common
generic timer code. Unify them in include/arch/arm/machine/timer.h


# 3de2b5cf 19-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Initialise gpt_cnt_tval to squash compiler warning


# fff4f1b5 19-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Make TIMER_RELOAD check 64-bit compatable

This check checks the TIMER_RELOAD fits in the wordsize.
Use UINTPTR_MAX instead of 0xffffffff so the check can be moved
to mode agnostic code.


# c11f18cb 16-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

ARM generic timers: use aarch agnostic macros


# 9e5f1e60 26-Sep-2017 Nathan Studer <nathan.studer@dornerworks.com>

Make clock check a warning only instead of a hard fault

This clock value isn't set consistently on some platforms due to software
rounding, so halting here tends to happen a lot. Instead print a warning
and continue on.

For example using a default Xilinx platform with a 33.333... MHz oscialltor
and a default bootloader the clock value will be somewhere in the range
99999000-100000000, which for most practical purposes is the same thing.

Since this register is written by software and doesn't have the precision to
fully represent common hardware oscillator frequencies, this check seems overly
strict anyway.


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# fdc96a18 07-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Warn in arm generic timer if reload value is too high


# eccaae51 20-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/D61/DATA61/ in license headers for consistency


# 28f09e2e 17-Jan-2017 amrzar <azarrabi@nicta.com.au>

ARM: Move timer.h to mode specific folder