Adrian Danis f5abc87894 Rename TCB_SIZE_BITS to TCB_CNODE_SIZE_BITS ... This definition is used as the size of the cnode portion of the TCB object (and not the tcb_t) portion and so this provides a much less confusing name.		2018-03-23 12:28:54 +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	SELFOUR-1016: Require auth cap to set prio/mcp	2018-02-26 11:24:22 +11:00
arch	x86: modeUnmapPage returns whether or not tlb needs invalidation	2018-03-15 09:47:31 +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	Rename TCB_SIZE_BITS to TCB_CNODE_SIZE_BITS	2018-03-23 12:28:54 +11:00
plat	define KERNEL_PMU_IRQ for TX1, HIKEY	2018-03-22 13:12:03 +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	x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64	2018-01-17 16:38:52 +11: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	ARM/v7-a: Force -O2 compilation of idle thread	2018-03-13 13:09:47 +11:00