portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Axel Heider fe2d400f06 arm: remove obsolete function setInterruptMode() 
The function setInterruptMode() is no longer in use, setIRQTrigger() is
used instead.

Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-08-18 10:08:06 +10: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 arm: remove obsolete function setInterruptMode() 2021-08-18 10:08:06 +10:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel boot: make functions static 2021-08-18 08:55:48 +10: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 mcs: Only unbind extant donated ntfn sc 2021-04-29 12:07:07 +10:00
plat risc-v: remove obsolete file 2021-07-05 09:17:33 +10:00
smp Repair barriers in clh_lock_acquire 2020-06-22 11:53:08 +10:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h macros: avoid compiler warning for helper type 2021-07-01 10:48:47 +10:00
basic_types.h define macro SEL4_WORD_CONST() 2021-08-17 18:19:37 +10:00
bootinfo.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
compound_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
config.h trivial: remove empty lines 2021-04-01 10:33:41 +10:00
hardware.h boot: make linker definitions generic 2021-07-01 11:30:19 +10:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h use const qualifier 2021-07-01 10:48:47 +10:00
object.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdarg.h Revised kernel printf implementation 2020-05-19 13:16:20 +10:00
stdint.h support PRIu64 and SEL4_PRIu_word in kernel 2021-05-14 13:34:38 +10:00
string.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
util.h make definition for NULL generic 2021-07-19 10:45:20 +10:00