portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Anna Lyons 56de1ad74b aarch64: adjustments to pass c-parser 
This commit updates the aarch64 build to pass the c-parser.

- replace 0b constants with decimal
- remove empty array definition
- replace __uint128_t with uint64_t, and double the array size
- remove variable shadowing

No further verification guarantees are provided for aarch64 code.
2019-04-05 15:39:20 +11:00
..
32/mode Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
64/mode Rename shared_types*.bf files to be consistent 2019-03-21 12:43:43 +11:00
api Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
arch aarch64: adjustments to pass c-parser 2019-04-05 15:39:20 +11:00
benchmark Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
fastpath style: consistently attach return type 2019-03-19 14:05:36 +11:00
kernel style: set code width to 120 2019-03-19 14:05:44 +11:00
machine capdl-dump: tcbDebug list, multicore-support, add tcb command 2019-03-20 12:55:30 +11:00
model Move PAD_TO_NEXT_CACHE_LN to util.h 2018-01-09 10:10:16 +11:00
object Changed padding and capIRQ in irq_hander_cap structure 2019-03-27 11:16:12 +11:00
plat ia32: adjustments to pass c-parser 2019-04-05 15:39:20 +11:00
smp style: consistently attach return type 2019-03-19 14:05:36 +11:00
api.h
assert.h style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
basic_types.h Type wrapper for a word_t that may alias 2018-04-24 14:04:46 +10:00
bootinfo.h Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
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 style: consistently attach return type 2019-03-19 14:05:36 +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 style: consistently align pointer with name 2019-03-19 14:04:54 +11:00