Searched refs:FORCE_INLINE (Results 1 - 13 of 13) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/
H A Dmachine.h16 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
17 static inline void FORCE_INLINE wfi(void)
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/
H A Dmachine.h16 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
17 static inline void FORCE_INLINE wfi(void)
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/32/armv/
H A Dmachine.h16 /* See idle_thread for an explanation as to why FORCE_INLINE is required here. */
17 static inline void FORCE_INLINE wfi(void)
/seL4-mcs-10.1.1/include/smp/
H A Dlock.h62 static inline bool_t FORCE_INLINE
90 static inline void FORCE_INLINE
121 static inline void FORCE_INLINE
132 static inline bool_t FORCE_INLINE
/seL4-mcs-10.1.1/include/machine/
H A Dfpu.h41 static inline void FORCE_INLINE lazyFPURestore(tcb_t *thread)
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/fastpath/
H A Dfastpath.h35 static inline void FORCE_INLINE
94 static inline void NORETURN FORCE_INLINE
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/
H A Dmachine.h123 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base)
130 static inline void FORCE_INLINE x86_write_gs_base_impl(word_t base)
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/fastpath/
H A Dfastpath.h47 static inline void FORCE_INLINE
116 static inline void NORETURN FORCE_INLINE
/seL4-mcs-10.1.1/include/fastpath/
H A Dfastpath.h15 static inline cap_t FORCE_INLINE
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h48 static inline void FORCE_INLINE
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h36 static inline void FORCE_INLINE
/seL4-mcs-10.1.1/include/arch/riscv/arch/fastpath/
H A Dfastpath.h44 static inline void FORCE_INLINE
/seL4-mcs-10.1.1/include/
H A Dutil.h50 #define FORCE_INLINE __attribute__((always_inline)) macro

Completed in 97 milliseconds