seL4/include
Adrian Danis a5fa9570fc Change hasVCPU to generic archInfo boolean in public interfaces
The Arch_hasVCPU function instead of cheaking for whether a thread has a VCPU was
specifically checking for whether a thread on aarch32 had a VCPU, as that was the
condition needed to be passed into sanitiseRegister. This made the implementation
on x86 extremely confusing as Arch_hasVCPU was implemented to return false due to
there being no need for sanitiseRegister on x86 to know whether there was a vcpu.

This commit changes hasVCPU variables to be an abstract archInfo boolean that can
be used arbitrarily by an architecture. Arch_hasVCPU function was also changed to
become Arch_getSanitiseRegisterInfo whose result only passed to sanitiseRegister.
2017-05-04 11:18:03 +10:00
..
32/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
64/mode SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
api Add debug_printUserState 2017-04-05 16:54:50 +10:00
arch Change hasVCPU to generic archInfo boolean in public interfaces 2017-05-04 11:18:03 +10:00
benchmark s/DEBUG/CONFIG_DEBUG_BUILD/ 2017-04-06 10:43:24 +10:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Move isRunnable from thread.c to thread.h 2017-04-26 09:36:43 +10:00
machine SELFOUR-836: Hardware debug API functions should take tcb_t and not arch_tcb_t 2017-04-03 14:14:00 +10:00
model Move arch independent functions to generic files and HAVE_FPU config 2017-02-27 12:52:18 +11:00
object trivial: remove unused 'bound' field from ntfn 2017-04-11 13:59:54 +10:00
plat Check for configuration variables being 'defined' instead of 'true' 2017-05-03 10:35:44 +10:00
smp smp: fix bugs when stalling remote core 2017-03-30 09:46:43 +11:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
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 SELFOUR-444: Preemptible zeroing for retype. 2016-11-01 17:05:36 +11:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
stdint.h conversion: fixed unnecessary word_t change 2015-12-10 10:45:22 +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 Provide spec for CTZL 2017-02-22 17:22:17 +11:00