Home
last modified time | relevance | path

Searched refs:LIBSEL4_NOINLINE (Results 1 – 1 of 1) sorted by relevance

/seL4-master/libsel4/include/sel4/
A Dmacros.h26 #define LIBSEL4_NOINLINE __attribute__((noinline)) macro
41 #define LIBSEL4_INLINE LIBSEL4_NOINLINE LIBSEL4_UNUSED LIBSEL4_WEAK

Completed in 2 milliseconds