Searched refs:session (Results 1 - 12 of 12) sorted by relevance

/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_tftp.c87 int (*callback)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg);
102 void (*ack)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port);
103 void (*data)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port);
104 void (*error)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port);
105 void (*oack)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port);
106 void (*timeout)(struct pico_tftp_session *session, pico_time t);
113 static inline void session_status_set(struct pico_tftp_session *session, int status) argument
115 session->status |= status;
118 static inline void session_status_clear(struct pico_tftp_session *session, int status) argument
120 session
198 struct pico_tftp_session *session; local
288 do_callback(struct pico_tftp_session *session, uint16_t err, uint8_t *data, int32_t len) argument
302 tftp_schedule_timeout(struct pico_tftp_session *session, pico_time interval) argument
330 tftp_finish(struct pico_tftp_session *session) argument
345 tftp_send(struct pico_tftp_session *session, int len) argument
355 tftp_send_ack(struct pico_tftp_session *session) argument
375 prepare_options_string(struct pico_tftp_session *session, char *str_options, int32_t filesize) argument
403 tftp_send_oack(struct pico_tftp_session *session) argument
430 tftp_send_req(struct pico_tftp_session *session, union pico_address *a, uint16_t port, const char *filename, uint16_t opcode) argument
471 tftp_send_rx_req(struct pico_tftp_session *session, union pico_address *a, uint16_t port, const char *filename) argument
478 tftp_send_tx_req(struct pico_tftp_session *session, union pico_address *a, uint16_t port, const char *filename) argument
510 tftp_send_error(struct pico_tftp_session *session, union pico_address *a, uint16_t port, uint16_t errcode, const char *errmsg) argument
543 tftp_send_data(struct pico_tftp_session *session, const uint8_t *data, int32_t len) argument
562 tftp_eval_finish(struct pico_tftp_session *session, int32_t len) argument
570 tftp_data_prepare(struct pico_tftp_session *session, union pico_address *a, uint16_t port) argument
625 event_ack_base(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
652 event_ack0_check(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
673 event_ack0_wr(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
681 event_ack0_woc(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
687 event_ack(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
693 event_ack_last(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
699 event_data(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
727 event_data_rdr(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
737 event_data_rpl(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
751 event_err(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
759 event_oack(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
779 event_oack_rr(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
786 event_oack_wr(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
792 event_timeout(struct pico_tftp_session *session, pico_time t) argument
817 event_timeout_closing(struct pico_tftp_session *session, pico_time t) argument
824 event_timeout_final(struct pico_tftp_session *session, pico_time t) argument
831 unexpected(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
837 null(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port) argument
858 tftp_message_received(struct pico_tftp_session *session, uint8_t *block, int32_t len, union pico_address *a, uint16_t port) argument
892 struct pico_tftp_session *session; local
923 application_rx_cb(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
944 application_tx_cb(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
956 struct pico_tftp_session *session = (struct pico_tftp_session *)arg; local
992 tftp_start_check(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg)) argument
1031 pico_tftp_get_option(struct pico_tftp_session *session, uint8_t type, int32_t *value) argument
1065 pico_tftp_set_option(struct pico_tftp_session *session, uint8_t type, int32_t value) argument
1105 pico_tftp_start_rx(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg) argument
1131 pico_tftp_start_tx(struct pico_tftp_session *session, uint16_t port, const char *filename, int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg) argument
1162 pico_tftp_send(struct pico_tftp_session *session, const uint8_t *data, int32_t len) argument
1213 pico_tftp_abort(struct pico_tftp_session *session, uint16_t error, const char *reason) argument
1242 pico_tftp_get_file_size(struct pico_tftp_session *session, int32_t *file_size) argument
1249 struct pico_tftp_session *session; local
1269 pico_tftp_app_start_rx(struct pico_tftp_session *session, const char *filename) argument
1274 pico_tftp_app_start_tx(struct pico_tftp_session *session, const char *filename) argument
1279 pico_tftp_get(struct pico_tftp_session *session, uint8_t *data, int32_t len) argument
1304 pico_tftp_put(struct pico_tftp_session *session, uint8_t *data, int32_t len) argument
[all...]
H A Dpico_tftp.h54 int pico_tftp_set_option(struct pico_tftp_session *session, uint8_t type, int32_t value);
55 int pico_tftp_get_option(struct pico_tftp_session *session, uint8_t type, int32_t *value);
57 int pico_tftp_start_rx(struct pico_tftp_session *session, uint16_t port, const char *filename,
58 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg);
59 int pico_tftp_start_tx(struct pico_tftp_session *session, uint16_t port, const char *filename,
60 int (*user_cb)(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg), void *arg);
63 int32_t pico_tftp_send(struct pico_tftp_session *session, const uint8_t *data, int32_t len);
69 int pico_tftp_abort(struct pico_tftp_session *session, uint16_t error, const char *reason);
72 int pico_tftp_get_file_size(struct pico_tftp_session *session, int32_t *file_size);
77 int pico_tftp_app_start_rx(struct pico_tftp_session *session, cons
[all...]
/seL4-camkes-master/projects/picotcp/test/
H A Dtest_tftp_app_client.c30 void start_rx(struct pico_tftp_session *session, int *synchro, const char *filename, int options) argument
42 ret = pico_tftp_set_option(session, PICO_TFTP_OPTION_FILE, 0);
49 ret = pico_tftp_app_start_rx(session, filename);
68 len = pico_tftp_get(session, buf, PICO_TFTP_PAYLOAD_SIZE);
79 pico_tftp_abort(session, TFTP_ERR_EXCEEDED, "File write error");
96 void start_tx(struct pico_tftp_session *session, int *synchro, const char *filename, int options) argument
114 ret = pico_tftp_set_option(session, PICO_TFTP_OPTION_FILE, ret);
121 ret = pico_tftp_app_start_tx(session, filename);
130 pico_tftp_abort(session, TFTP_ERR_EACC, "Error opening file");
144 pico_tftp_abort(session, TFTP_ERR_EAC
186 struct pico_tftp_session *session; local
[all...]
/seL4-camkes-master/projects/picotcp/test/examples/
H A Dtftp.c120 int cb_tftp_tx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
133 pico_tftp_send(session, tftp_txbuf, len);
142 pico_tftp_abort(session, TFTP_ERR_EACC, "Error on read");
156 int cb_tftp_tx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
162 ret = pico_tftp_get_option(session, PICO_TFTP_OPTION_FILE, &filesize);
171 return cb_tftp_tx(session, event, block, len, arg);
174 int cb_tftp_rx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
191 pico_tftp_abort(session, TFTP_ERR_EACC, "Error on write");
211 int cb_tftp_rx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
217 ret = pico_tftp_get_option(session, PICO_TFTP_OPTION_FIL
231 struct pico_tftp_session *session; local
251 start_rx(struct pico_tftp_session *session, const char *filename, uint16_t port, int (*rx_callback)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg), struct note_t *note) argument
261 start_tx(struct pico_tftp_session *session, const char *filename, uint16_t port, int (*tx_callback)(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg), struct note_t *note) argument
274 struct pico_tftp_session *session; local
291 struct pico_tftp_session *session; local
433 struct pico_tftp_session *session; local
[all...]
/seL4-camkes-master/tools/cogent/cogent/tests/phases/
H A Dcorres_proof.sh71 session Test_TypeProof = CogentCRefinement +
75 session Test_ACInstall = Test_TypeProof +
79 session Test_CorresSetup = Test_ACInstall +
83 session Test_CorresProof = Test_CorresSetup +
H A Dtype_proof.sh65 session Test_TypeProof = CogentCRefinement +
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_tftp.tex16 In order to start transmission or reception of files a session handler must be obtained with a call to pico$\_$tftp$\_$session$\_$setup. The created session may take advantage of the Extenxed Options of the TFTP protocol invoking pico$\_$tftp$\_$set$\_$option before starting using it.
20 In case of problem the session can be aborted (and an error message is sent to the remote side) using pico$\_$tftp$\_$abort.
22 When a transfer is complete the session became invalid and must not be used any more.
28 The way to obtain a session handler suited for this purpose is an invocation to the function pico$\_$tftp$\_$app$\_$setup. The synchro variable passed to this function will play a key role during the management of the transfer.
32 Once the session is created, the application can start receiving a file with a call to the function pico$\_$tftp$\_$app$\_$start$\_$rx or, if needs to transmit, invoking pico$\_$tftp$\_$app$\_$start$\_$tx.
34 After the file transfer is started the user is allowed to perform data handling only when the synchro variable associated with the session is not 0. It is set to 0 after calling pico$\_$tftp$\_$app$\_$setup. A value that differ to 0 means that a single chunk is ready to be handled.
38 Once the file transfer ends, both for completion or in case of error, the session is no more valid.
76 struct pico_tftp_session *session;
[all...]
H A Dchap_api_mdns.tex103 Claims all different mDNS records in a tree in a single API-call. All records in the mDNS record-tree are registered in a single new claim-session.
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Dpppoe.c146 static struct pppoe_softc* pppoe_find_softc_by_session(u_int session, struct netif *rcvif);
318 * Find the interface handling the specified session.
323 static struct pppoe_softc* pppoe_find_softc_by_session(u_int session, struct netif *rcvif) { argument
328 && sc->sc_session == session
353 PPPDEBUG(LOG_DEBUG, ("pppoe: alien host unique tag, no session found\n"));
371 /* analyze and handle a single received packet while not in session state */
376 u16_t session, plen; local
408 session = 0;
420 session = lwip_ntohs(ph->session);
654 u16_t session, plen; local
1034 pppoe_send_padt(struct netif *outgoing_if, u_int session, const u8_t *dest) argument
[all...]
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/
H A Dpppoe.h90 PACK_STRUCT_FIELD(u16_t session);
128 #define PPPOE_TAG_RELAYSID 0x0110 /* relay session id */
149 u16_t sc_session; /* PPPoE session id */
150 u8_t sc_state; /* discovery phase or session connected */
/seL4-camkes-master/projects/picotcp/test/unit/
H A Dmodunit_pico_tftp.c10 int tftp_user_cb(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg);
40 int tftp_user_cb(struct pico_tftp_session *session, uint16_t err, uint8_t *block, int32_t len, void *arg) argument
42 (void)session;
237 /*first case: no session and no listening socket*/
240 /*second case: no session but listening socket*/
244 /*tirdh case: session non into list*/
/seL4-camkes-master/projects/lwip/src/apps/smtp/
H A Dsmtp.c152 #define SMTP_USERNAME(session) (session)->username
153 #define SMTP_PASS(session) (session)->pass
154 #define SMTP_AUTH_PLAIN_DATA(session) (session)->auth_plain
155 #define SMTP_AUTH_PLAIN_LEN(session) (session)->auth_plain_len
157 #define SMTP_USERNAME(session) smtp_username
158 #define SMTP_PASS(session) smtp_pas
[all...]

Completed in 116 milliseconds