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

/seL4-test-master/kernel/src/arch/riscv/
H A Didle.c19 void VISIBLE NO_INLINE halt(void)
/seL4-test-master/kernel/src/arch/arm/32/
H A Didle.c29 void NORETURN NO_INLINE VISIBLE halt(void)
/seL4-test-master/kernel/src/arch/arm/64/
H A Didle.c19 void NORETURN NO_INLINE VISIBLE halt(void)
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/
H A Dbreakpoints.c29 NO_INLINE static void stop_point(void)
35 NO_INLINE static void single_step_guinea_pig(void)
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h32 #define NO_INLINE __attribute__((noinline)) macro
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dcommon.c298 void NO_INLINE
310 size_t NO_INLINE
/seL4-test-master/kernel/include/
H A Dutil.h44 #define NO_INLINE __attribute__((noinline)) macro
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c324 static void NO_INLINE update_ipc_buffer(seL4_IPCBuffer *tmp)
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dbreakpoints.c95 NO_INLINE static void breakpoint_code(void)

Completed in 63 milliseconds