History log of /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ltimer.h
Revision Date Author Comments
# 80c6eb35 08-Aug-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport: Remove handle_irq from ltimers

The 'handle_irq' function is no longer necessary and shouldn't be called
externally as the IRQs will be managed by the IRQ handling functions of
the IRQ interface.


# 6e800582 08-Aug-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupport: Allow user callbacks for ltimer

With the IRQ changes to the ltimer, IRQs are now managed internally.
This poses a problem with the management of the time manager and other
services which rely on having known that an interrupt arrived for the
timers. This also isn't a good idea as it presents a leaky abstraction
in that the services infers events based on interrupts received.

This commit adds the ability to allow users to supply a callback
that'll be called when certain events occur for the timer, e.g. timeouts
and etc.


# 0744ad96 13-Feb-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: remove static init in ltimers

The regular init functions can be used with an implementation of
ps_io_ops_t that is a static implementation


# 7672c5e3 26-Sep-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

platsupport/imx: Implemented ltimer_static_init

Created an ltimer static init function. This allows the user
to pass in pre-mapped vaddrs for the timestamp and timeout
timer devices.


# f4a64260 11-Dec-2017 adamf <a.felizzi@student.unsw.edu.au>

libplatsupport: Refactor ltimer_describe_with_rsdp

Moved ltimer_default_describe_with_rsdp into pc99 timer
implementation.


# fc7c1155 06-Dec-2017 adamf <a.felizzi@student.unsw.edu.au>

libplatsupport: Initialize ACPI with given RSDP

Enable ACPI initialization by passing an RSDP object rather
than searching for it within the BIOS section. Updated default
logical timer initialization to initialize the ACPI with a given
RSDP object.


# 95b69c36 12-Dec-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

platsupport: Check function pointer is not NULL


# e41cc460 11-Oct-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

platsupport: More accurately define ltimer_reset

Clarifies the documentation on ltimer_reset to indicate it should reset to an initial
state and that its affect on the monotonic counter is implementation defined, and not
strictly reset to 0 as previously claimed.


# e189f710 08-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: clarify ltimer irq handling


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

trivial: fix whitespace


# f95ca746 18-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: add ltimer interface as logical timer

- add ltimer.h with ltimer interface (will replace timer_t)
- add irq.h with types for tracking irqs