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

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dfunctions.h30 LIBSEL4_INLINE_FUNC char seL4_CanPrintError(void) function
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dfunctions.h30 LIBSEL4_INLINE_FUNC char seL4_CanPrintError(void) function
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtest.h206 if (!seL4_CanPrintError() && e != seL4_NoError) {

Completed in 90 milliseconds