portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis ed37e31d5d x64: Invalid ASID with single asm block 
This performs a double address space switch to invalidate an ASID using a single hand
written asm block instead of setCurrentCR3. The purpose of this is to ensure that the
only requirements on the temporary address space that we switch to is that the kernel
code is still mapped in at the same location. As we ensure our old cr3 value is in
register we can ensure, unlike with calling getCurrentCR3 that no stack or other
temporary memory is required.
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: Invalid ASID with single asm block 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 ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
util.h Implement UL_CONST macro for assembly and C 2018-01-09 14:13:41 +11:00