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

/seL4-master/libsel4/include/sel4/
A D	constants.h	107 #define DEBUG_MESSAGE_START 6 macro
A D	functions.h	20 return (char *)(__sel4_ipc_buffer->msg + DEBUG_MESSAGE_START); in seL4_GetDebugError()
/seL4-master/src/object/
A D	endpoint.c	294 char *debugBuffer = (char *)(ipcBuffer + DEBUG_MESSAGE_START + 1); in replyFromKernel_error()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023