portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Axel Heider 9401827d2f riscv: pass hart mask by value to SBI wrappers 
Hide the actual SBI call parameter details of the legacy API and remove
the pointer parameters in the higher code layers. This is a preparation
step for switching to the newer SBI API.

Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-12-03 07:07:03 +11:00
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api prefer macro CURRENT_CPU_INDEX() 2021-08-17 18:19:37 +10:00
arch riscv: pass hart mask by value to SBI wrappers 2021-12-03 07:07:03 +11:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers allwinnerA20: switch to the ARM generic timer 2021-10-28 08:30:41 +11:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel Simplify chargeBudget() 2021-12-02 15:42:13 +11:00
machine debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00
model define macro SEL4_WORD_CONST() 2021-08-17 18:19:37 +10:00
object Trivial: Remove now incorrect comment 2021-09-10 20:48:04 +10:00
plat pc99: use ackInterrupt() 2021-10-01 15:18:51 +10:00
smp Remove unused doReschedule() 2021-12-02 15:42:13 +11:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
basic_types.h define macro SEL4_WORD_CONST() 2021-08-17 18:19:37 +10:00
bootinfo.h boot: use helper variable to simplify code 2021-09-06 09:22:04 +10:00
compound_types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
config.h libsel4: Fix name for AARCH64_VSPACE_S2_START_L1 2021-09-06 08:08:54 +10:00
hardware.h remove unused define KERNEL_ELF_PADDR_TOP 2021-11-17 11:29:36 +11:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h remove unnecessary brackets 2021-09-27 23:09:09 +10:00
object.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdarg.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
stdint.h print 64-bit integers on 32-bits systems fully 2021-11-26 06:01:11 +01:00
string.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
types.h trivial: remove superfluous empty lines 2021-09-27 23:09:09 +10:00
util.h trivial: fix typos and copy/paste fragments 2021-11-28 14:49:55 +11:00