seL4/include
Yanyan Shen 9acfe72e3f arm: Split TLB functions into local & local+remote
The TLB functions with "Local" postfix only execute on the
current calling core. The functions with the postfix
perform local operations and then IPI remote cores
to perform the same operations if necessary.
2018-04-18 19:09:53 +10:00
..
32/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
64/mode Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
api SELFOUR-1016: Require auth cap to set prio/mcp 2018-02-26 11:24:22 +11:00
arch arm: Split TLB functions into local & local+remote 2018-04-18 19:09:53 +10:00
benchmark Fix trivial comment typos. 2018-03-27 10:51:26 +11:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Define more freemem regions on all architectures except ARM 2018-04-18 10:10:14 +10:00
machine Inline resetTimer for all platforms 2017-11-28 10:21:46 +11:00
model Move PAD_TO_NEXT_CACHE_LN to util.h 2018-01-09 10:10:16 +11:00
object Fix trivial comment typos. 2018-03-27 10:51:26 +11:00
plat riscv: fix licenses 2018-04-18 10:52:02 +10:00
smp ARM/SMP: Re-implement atomic exchange taking sel4 IPI into account 2017-11-23 14:35:54 +11:00
api.h
assert.h Add unverified_compile_assert 2017-05-04 11:13:31 +10:00
basic_types.h
bootinfo.h
compound_types.h
config.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
linker.h x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 2018-01-17 16:38:52 +11:00
machine.h
Makefile Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
object.h
stdarg.h
stdint.h Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
string.h Expose string functions in all builds 2018-04-18 10:10:14 +10:00
types.h
util.h Remove strlen 2018-04-18 10:10:14 +10:00