portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Rafal Kolanski 1fba3d9e68 riscv: DONT_TRANSLATE modifies_sip 
To prevent a contradiction, the C parser does not allow a function to
claim both what it modifies and possess a body that may modify something
else. Instruct the C parser to not translate it in order for the
MODIFIES clause to take precedence.

Signed-off-by: Rafal Kolanski <rafal.kolanski@data61.csiro.au>
2020-04-17 23:47:34 +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 Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
arch riscv: DONT_TRANSLATE modifies_sip 2020-04-17 23:47:34 +10:00
benchmark replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
drivers hifive: Expose seL4_IRQControl_GetTrigger API 2020-04-17 17:55:55 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
plat replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
smp replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
basic_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11: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 replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdarg.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11: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 replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00