Searched defs:__sel4_ipc_buffer (Results 1 - 2 of 2) sorted by last modified time

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dfunctions.h14 __thread __attribute__((weak)) seL4_IPCBuffer *__sel4_ipc_buffer; variable
/seL4-camkes-master/kernel/libsel4/src/
H A Dsel4_bootinfo.c14 __thread seL4_IPCBuffer *__sel4_ipc_buffer; variable

Completed in 80 milliseconds