Victor Phan 0e62bc3a81 Move vcpu_switch into Arch_switchToThread ... Currently the vcpu_switch function is called in the setVMRoot function after possible early returns. In order to make sure the vcpu is always switched, the call is moved into Arch_switchToThread before the call to setVMRoot.		2020-01-20 14:10:28 +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	Move vcpu_switch into Arch_switchToThread	2020-01-20 14:10:28 +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	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	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	Expose string functions in all builds	2018-04-18 10:10:14 +10:00
types.h
util.h	mcs: verification spec for clzll	2019-08-22 11:22:37 +10:00