Kofi Doku Atuah 91969a9038 AArch64: Benchmark log: Add convenience pointer to PD entry ... * Also document the reason why the particular address for KS_LOG_PPTR was chosen. This patch adds a pointer to the PD entry that sets the benchmark log frame.		2019-01-15 09:05:15 +11:00
..
32/mode	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
64/mode	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
api	libsel4: add seL4_CapRightsBits	2018-12-12 14:20:37 +11:00
arch	AArch64: Benchmark log: Add convenience pointer to PD entry	2019-01-15 09:05:15 +11:00
benchmark	Kbuild: Removed Kbuild	2018-08-10 10:38:53 +10:00
fastpath	SELFOUR-6: Add GrantReply to the rights system.	2018-12-12 14:04:28 +11:00
kernel	SELFOUR-6: Add GrantReply to the rights system.	2018-12-12 14:04:28 +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	SELFOUR-6: Add GrantReply to the rights system.	2018-12-12 14:04:28 +11:00
plat	AArch64: Benchmark log: Add convenience pointer to PD entry	2019-01-15 09:05:15 +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	Type wrapper for a word_t that may alias	2018-04-24 14:04:46 +10:00
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	Add seL4_UserTop and move kernelBase to the arch level	2018-12-12 16:24:31 +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	trivial: move MS_IN_S to utils.h	2018-09-18 10:05:26 +10:00