Searched refs:ipc_error (Results 1 – 1 of 1) sorted by relevance
322 long ipc_error = l4_ipc_error(res, utcb); in error() local324 if (ipc_error == L4_IPC_RETIMEOUT) in error()342 printf("(unsupported/strange) loopabort: %lx\n", ipc_error); in error()
Completed in 5 milliseconds