Searched refs:ctxt (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/include/serial_server/
H A Dclient.h99 * @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 Dstage4.py117 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 Deap.c319 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