portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis 4edbbbd4ed x64: Separate notion of current vspace root with current user vspace root 
This introduces functions for specifically manipulating the user vspace root, either as an
abstract root or the specific CR3 value, in a way that is separated from the current vspace
root. Currently they are one and the same, but this separation allows for having the kernel
translation (and hence the active vspace root) be different the currently active user.
2018-01-17 16:38:52 +11: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 Add CONFIG_ to syscall.c and add missing include file 2017-11-28 14:24:40 +11:00
arch x64: Separate notion of current vspace root with current user vspace root 2018-01-17 16:38:52 +11:00
benchmark Move timestamp_t definition to types.h 2017-11-28 10:13:49 +11:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Abstractly declare a threads registers have changed 2017-12-13 12:09:14 +11: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 x64: Declare virtual addresses as 48-bits instead of 49-bits 2017-12-19 16:13:08 +11:00
plat x86: Separate header for TLB bitmap definitions 2018-01-16 14:51:26 +11: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 Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
compound_types.h unsigned int -> word_t 2015-12-10 10:45:21 +11:00
config.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
linker.h Share linker.h between architectures 2017-08-10 08:38:36 +10:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h
stdint.h Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
string.h Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
types.h
util.h Implement UL_CONST macro for assembly and C 2018-01-09 14:13:41 +11:00