Kent McLeod 94dcfce5c7 trivial: Remove duplicate function prototypes		2020-02-05 13:54:33 +11:00
..
32/mode	mcs: timeout exceptions	2019-08-22 11:22:38 +10:00
64/mode	mcs: timeout exceptions	2019-08-22 11:22:38 +10:00
api	mcs: add periodic scheduling	2019-08-22 11:22:35 +10:00
arch	trivial: Remove duplicate function prototypes	2020-02-05 13:54:33 +11:00
benchmark	benchmark: remove unused function	2019-06-14 14:11:09 +10:00
drivers	exynos: Move mct MCS functions to specific header	2019-10-23 16:30:17 +11:00
fastpath	mcs: scheduling context donation over ipc	2019-08-22 11:22:37 +10:00
kernel	trivial: remove duplicate macro definition	2019-11-19 16:37:51 +11:00
machine	Revert "Cache FPU enable state on all platforms"	2019-12-19 17:18:35 +11:00
model	Revert "Cache FPU enable state on all platforms"	2019-12-19 17:18:35 +11:00
object	mcs: RISC-V uses 39-bit addressing in stuctures.bf	2019-08-27 10:46:13 +10:00
plat	trivial: Fix x86 KERNEL_TIMER_IRQ definition	2019-11-26 08:49:46 +11:00
smp	style: consistently attach return type	2019-03-19 14:05:36 +11:00
api.h
assert.h
basic_types.h
bootinfo.h	Remove symlinked libsel4 files from include dir	2019-03-21 12:44:57 +11:00
compound_types.h
config.h	mcs: allow kernel WCET estimate to be scaled	2019-08-22 11:22:39 +10:00
linker.h
machine.h	style: consistently attach return type	2019-03-19 14:05:36 +11:00
object.h
stdarg.h
stdint.h
string.h
types.h
util.h	mcs: verification spec for clzll	2019-08-22 11:22:37 +10:00