portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Adrian Danis 96842a2ca7 x64: If PCIDs are not enabled forbid them in any CR3 values 
When PCIDs are not enabled the low 12 bits of CR3 are not all ignored as bits 3 and 4 control
memory typing of the translation. To prevent setting these to 'random' values we should leave
the low bits of CR3 0 when not using PCIDs.

A new makeCR3 wrapper is defined that is used instead of cr3_new that, based on CONFIG_SUPPORT_PCID,
either fills in the PCID or 0 as 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: If PCIDs are not enabled forbid them in any CR3 values 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