Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / d9667bbb5875dc4d954f79f7dc07a891cf38ee7c / libsel4platsupport / src / timer.c
  1. 600fe15 convert to SPDX license headers by Gerwin Klein · 4 years, 1 month ago
  2. 56edd6b trivial: Fix compiler warnings by Kent McLeod · 4 years, 8 months ago
  3. f02430b libsel4platsupport: Update ltimer calls by Damon Lee · 6 years ago
  4. a6e1fbf libsel4platsupport: Update IO ops calls in timer by Damon Lee · 6 years ago
  5. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  6. 7605df3 trivial: fix warning by Anna Lyons · 6 years ago
  7. 277dc1b trivial: libsel4platsupport: fix style by James Ye · 6 years ago
  8. 59323eb libsel4platsupport: Add missing PS_TRIGGER path by James Ye · 6 years ago
  9. e3c710e trivial: style and whitespace fixes by James Ye · 6 years ago
  10. 80ff425 trivial: fix output warnings on 64-bit by Anna Lyons · 6 years ago
  11. 03daf50 sel4platsupport: Upgrade debug warning to error. by Kent McLeod · 6 years ago
  12. 6e844e1 Minor build warning fixes by Kofi Doku Atuah · 7 years ago
  13. ef1d8cc trivial: squash warnings by Anna Lyons · 7 years ago
  14. 06455b5 sel4platsupport: correctly mask bit by Anna Lyons · 7 years ago
  15. 08f9b7c Changes for removal of seL4_CapData_t type in libsel4 by Adrian Danis · 7 years ago
  16. 6e3be57 sel4platsupport: Prevent loss of IRQs when setting up timers by Adrian Danis · 7 years ago
  17. e8b823f trivial: add UNUSED to unused parameter by Anna Lyons · 7 years ago
  18. 5f4ecbd libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops by Adrian Danis · 7 years ago
  19. 002d6d9 Initialise stack declared ps_io_ops_t to zero by Adrian Danis · 7 years ago
  20. 16cb65c Use correct format type for `size_t` instead of claiming they are of type `int` by Adrian Danis · 8 years ago
  21. 0481114 sel4platsupport: identify ioapic by pin by Anna Lyons · 8 years ago
  22. 8630e52 Add timer_objects helper functions by Kent McLeod · 8 years ago
  23. e2f0227 sel4platsupport: init default timer irq objects by Anna Lyons · 8 years ago
  24. c59517c Provide ltimer seL4 object initialisation by Anna Lyons · 8 years ago
  25. 0016dfc Fix all the whitespace by Anna Lyons · 8 years ago
  26. 9214341 Fix licenses by Anna Lyons · 8 years ago
  27. d4ae924 libsel4platsupport: add init_default_timer_caps by Kent McLeod · 8 years ago