portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Rafal Kolanski ef8b1776db arm: DONT_TRANSLATE isIRQPending for GIC v3 
This is a shortcut for dealing with the inline assembly inside to
prevent the modifies analysis from picking up every part of the state.

For any future binary correctness analysis, this will need to be
removed, and instead an appeal made to inline assembly being unable to
modify the heap.

Signed-off-by: Rafal Kolanski <rafal.kolanski@data61.csiro.au>
2020-11-26 21:06:39 +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 debug: create debug_tcb_t struct 2020-07-22 00:31:18 +10:00
arch arm: DONT_TRANSLATE isIRQPending for GIC v3 2020-11-26 21:06:39 +11:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers RISC-V PLIC: merge drivers 2020-11-16 11:43:28 +11:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00
machine capDL: Add kernel debugging tool for capDL 2020-09-16 18:01:36 +10:00
model Make kernel log buffer derived from cmake config 2020-11-10 16:24:43 +11:00
object mcs: add tcb argument to reply_unlink 2020-10-02 12:38:39 +10:00
plat Add x86_64 kernel log buffer 2020-11-10 16:24:44 +11: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 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 Move config header to libsel4 2020-11-10 16:24:44 +11:00
hardware.h trivial: fix header files 2020-05-22 12:26:13 +10:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h Consolidate kernel virtual memory regions 2020-05-22 12:26:13 +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 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 trivial: Use UL_CONST in assembler macros 2020-05-22 12:26:13 +10:00