Searched refs:NO_INLINE (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/32/
H A Didle.c31 void NORETURN NO_INLINE VISIBLE halt(void)
/seL4-mcs-10.1.1/src/arch/arm/64/
H A Didle.c25 void NORETURN NO_INLINE VISIBLE halt(void)
/seL4-mcs-10.1.1/include/
H A Dutil.h49 #define NO_INLINE __attribute__((noinline)) macro

Completed in 36 milliseconds