History log of /seL4-refos-master/libs/libplatsupport/src/local_time_manager.c
Revision Date Author Comments
# 42f00683 05-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: avoid overriding timeout error

Use a different error when reading the time due to an ETIME and fail if
reading the time returns an error.


# 675ba83d 05-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: reset timeout if time has passed


# 0c7bc59f 05-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: clarify loops in local_time_manager

- return early if there is no timeout to set
- or if we're succesful


# 5e41a9c3 05-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: reset current_timeout on set_timeout

- if we call ltimer_set_timeout, it could fail. Reset
timeout to UINT64_MAX before we set the timeout and only set
current timeout if we actually manage to reprogram the timer.


# 085bbe3e 04-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: fix bug in local time manager

The time manger needs to set a new timeout if the old timeout has
already passed.


# 9f2ec1e6 03-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

libplatsupport: fix arguments to ltimer_set_timeout


# 09bef7ec 24-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: add time manager + local implementation

This is an interface for time services, plus a default implementation of a local time
manager.

The time manager takes an ltimer and uses it to provide the
current time and timeouts which are called as callbacks. It provides a
mapping between ids (generated by the time manager) and callbacks.

Simply put this time manager interface uses an ltimer and the timeout data
structure to provide local timeout multiplexing.