Searched defs:SEL4_DEPRECATED (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dmacros.h46 #define SEL4_DEPRECATED(x) __attribute__((deprecated(x))) macro

Completed in 73 milliseconds