seL4/include/drivers
Axel Heider b21faf8a9c risc-v: clenaup U54/U74 PLIC handling code
- Use SMP_TERNARY() macro.
- Rename get_hart_id() to plic_get_current_hart_id(), as this is just a
  helper function for the other PLIC code in this file.

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
2021-09-26 11:31:51 +10:00
..
irq risc-v: clenaup U54/U74 PLIC handling code 2021-09-26 11:31:51 +10:00
smmu trivial: style and comment 2020-10-28 17:30:42 +11:00
timer replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
uart.h debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00