Searched refs:Arch_getSanitiseRegisterInfo (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) function
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) function
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dthread.h12 /* on aarch32 archInfo means 'has VCPU', see Arch_getSanitiseRegisterInfo below */
37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) function
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dthread.h28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) function
/seL4-test-master/kernel/src/api/
H A Dfaults.c79 archInfo = Arch_getSanitiseRegisterInfo(receiver);
/seL4-test-master/kernel/src/object/
H A Dtcb.c1993 archInfo = Arch_getSanitiseRegisterInfo(dest);

Completed in 47 milliseconds