Home
last modified time | relevance | path

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

/l4re-core-master/l4util/lib/src/
A Dsleep.c42 printf("l4_sleep(): IPC error %02x\n", l4_ipc_error_code(u)); in l4_sleep()
58 printf("l4_sleep(): IPC error %02x\n", l4_ipc_error_code(u)); in l4_usleep()
/l4re-core-master/l4sys/include/
A Dipc.h199 L4_INLINE int l4_ipc_error_code(l4_utcb_t *utcb) L4_NOTHROW;
547 L4_INLINE int l4_ipc_error_code(l4_utcb_t *u) L4_NOTHROW in l4_ipc_error_code() function
/l4re-core-master/l4sys/include/cxx/
A Dipc_iface345 { return l4_ipc_to_errno(l4_ipc_error_code(utcb)); }

Completed in 7 milliseconds