Searched refs:reply_cap_save_error (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dtls.c57 tls->reply_cap_save_error = seL4_InvalidCapability;
65 tls->reply_cap_save_error = seL4_CNode_SaveCaller(tls->cnode_cap,
89 return tls->reply_cap_save_error;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dtls.h40 seL4_Error reply_cap_save_error; member in struct:camkes_tls_t

Completed in 87 milliseconds