Searched refs:FORCE_O2 (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/32/
H A Didle.c18 * Note that Clang doesn't obey FORCE_O2 and relies on the kernel being compiled
21 void FORCE_O2 idle_thread(void)
/seL4-test-master/kernel/include/
H A Dutil.h51 #define FORCE_O2 /* nothing */ macro
53 #define FORCE_O2 __attribute__((optimize("O2"))) macro

Completed in 36 milliseconds