Home
last modified time | relevance | path

Searched defs:Arch_getSanitiseRegisterInfo (Results 1 – 4 of 4) sorted by relevance

/seL4-master/include/arch/riscv/arch/kernel/
A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo() function
/seL4-master/include/arch/x86/arch/kernel/
A Dthread.h17 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo() function
/seL4-master/include/arch/arm/arch/32/mode/kernel/
A Dthread.h37 static inline bool_t PURE Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo() function
/seL4-master/include/arch/arm/arch/64/mode/kernel/
A Dthread.h28 static inline bool_t CONST Arch_getSanitiseRegisterInfo(tcb_t *thread) in Arch_getSanitiseRegisterInfo() function

Completed in 6 milliseconds