portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Stefan O'Rear b94d70adfc Outline object physical functions 
Most of the uses of these are in functions where the cap type is
statically known and the correct branch could be used directly, but the
compiler does not know this so having these as inlines causes a large
number of accesses to bitfields of unrelated cap types in functions that
manipulate caps.

Moving this out of line makes the results of changing cap bitfields less
noisy.

Signed-off-by: Stefan O'Rear <sorear@fastmail.com>
2020-12-07 10:48:31 +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 Fix MCS+EL2 2020-12-04 04:28:08 +00:00
benchmark KernelBenchmarksTrackUtilisation: Add more stats 2020-07-15 15:15:27 +10:00
drivers riscv: Map devices with large pages on 32 & 64-bit 2020-12-03 10:31:16 +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 Outline object physical functions 2020-12-07 10:48:31 +11: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