Searched refs:ctxt (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/ |
H A D | client.h | 99 * @param ctxt Valid connection token returned by serial_server_client_connect(). 105 ssize_t serial_server_printf(serial_client_context_t *ctxt, const char *fmt, ...); 111 * @param ctxt Valid connection token returned by serial_server_client_connect(). 117 ssize_t serial_server_flush(serial_client_context_t *ctxt, ssize_t len); 121 * @param ctxt Valid connection token returned by serial_server_client_connect(). 127 ssize_t serial_server_write(serial_client_context_t *ctxt, const char *in_buff, ssize_t len); 134 * @param ctxt Initialized connection token returned from 137 void serial_server_disconnect(serial_client_context_t *ctxt);
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage4.py | 117 ctxt = ForwardScopingContext() variable in class:resolve.Resolver 118 ctxt.open() 120 r = Resolver(ctxt, assembly_scope, allow_forward) 131 with ctxt(r): 132 ast_lifted.preorder(r, ctxt) 180 ctxt = ScopingContext() variable in class:resolve.Resolver 181 ctxt.open() 183 r = Resolver(ctxt, assembly_scope, allow_forward) 185 ast_lifted.postorder(r, ctxt)
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | eap.c | 319 SHA1_CTX ctxt; local 327 SHA1Init(&ctxt); 328 SHA1Update(&ctxt, pn_secret, strlen(pn_secret)); 330 SHA1Update(&ctxt, tbuf, strlen(tbuf)); 331 SHA1Final(dig, &ctxt); 650 SHA1_CTX ctxt; local 822 SHA1Init(&ctxt); 823 SHA1Update(&ctxt, &pcb->eap.es_server.ea_id, 1); 824 SHA1Update(&ctxt, pcb->eap.es_server.ea_skey, 826 SHA1Update(&ctxt, pc 1257 SHA1_CTX ctxt; local 1323 SHA1_CTX ctxt; local 1736 SHA1_CTX ctxt; local [all...] |
Completed in 87 milliseconds