History log of /seL4-refos-master/libs/libplatsupport/src/plat/hikey/dmt.c
Revision Date Author Comments
# ef1dfb7d 20-May-2020 Michael Yoo <michael.yoo@data61.csiro.au>

libplatsupport: refactor more timers

- The following platforms are changed: am335x,
fvp, hikey, rockpro64
- All platforms pass build
- Except for fvp which doesn't have a machine handy,
the other 3 platforms pass sel4test
- For each platform, the ltimer.c and device-specific
code is more intertwined than I would have liked,
including things like device code branching on
`LTIMER` constants, but I think cleaning the
interface is a project for later


# bc83afaf 06-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Update hikey dmt driver with more functionality

- dmt_ticks_to_ns
- dmt_is_irq_pending
- dmt_set_timeout_ticks
- dmt_get_ticks


# 2f8b0109 05-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix hikey dmt timer initialisation

We would never initialise odd timer id's correctly, instead assigning
them to the previous even timer vaddr.


# 6267aec7 03-Dec-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fixes for hikey timers

- fix get_time, multiply by NS_IN_S rather than incorrect shift
- convert to and from milliseconds in dmtimer calculations to avoid
accuracy loss
- don't round down, irqs are allowe to come in early


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

trivial: fix whitespace


# 10c2dc3f 20-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer wrappers for hikey

- remove from DMT and refactor DMT into own file
- remove from RTC and refactor RTC into own file
- remove virtual timer implementation (coming back in next commit as
ltimer)