/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | http_client.h | 142 err_t httpc_get_file(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, 144 err_t httpc_get_file_dns(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings, 148 err_t httpc_get_file_to_disk(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, 150 err_t httpc_get_file_dns_to_disk(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings,
|
/seL4-camkes-master/projects/lwip/src/apps/lwiperf/ |
H A D | lwiperf.c | 87 /** This is the Iperf settings struct sent from the client */ 126 lwiperf_settings_t settings; member in struct:_lwiperf_state_tcp 289 if (conn->settings.amount & PP_HTONL(0x80000000)) { 293 u32_t time = (u32_t) - (s32_t)lwip_htonl(conn->settings.amount); 302 u32_t amount_bytes = lwip_htonl(conn->settings.amount); 312 /* transmit the settings a first time */ 313 txptr = &((u8_t *)&conn->settings)[conn->bytes_transferred]; 317 /* transmit the settings a second time */ 318 txptr = &((u8_t *)&conn->settings)[conn->bytes_transferred - 24]; 324 /* @todo: every x bytes, transmit the settings agai 387 lwiperf_tx_start_impl(const ip_addr_t *remote_ip, u16_t remote_port, lwiperf_settings_t *settings, lwiperf_report_fn report_fn, void *report_arg, lwiperf_state_base_t *related_master_state, lwiperf_state_tcp_t **new_conn) argument 762 lwiperf_settings_t settings; local [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage3.py | 79 self.assertLen(conf.settings, 1) 80 setting = conf.settings[0] 96 self.assertLen(conf.settings, 1) 97 setting = conf.settings[0] 116 self.assertLen(conf.settings, 1) 117 setting = conf.settings[0] 133 self.assertLen(conf.settings, 1) 134 setting = conf.settings[0] 572 self.assertLen(conf.settings, 1) 573 s = conf.settings[ [all...] |
H A D | teststage8.py | 89 self.assertLen(assembly.configuration.settings, 2) 91 s1, s2 = assembly.configuration.settings
|
H A D | teststage10.py | 86 self.assertLen(assembly.configuration.settings, 1) 87 s = assembly.configuration.settings[0] 195 settings in non-trivial hierarchical specs being potentially duplicated 198 message about duplicate settings of the attribute string_to_append. 290 accessible through the configuration settings.
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | http_client.c | 487 httpc_create_request_string(const httpc_connection_t *settings, const char* server_name, int server_port, const char* uri, argument 490 if (settings->use_proxy) { 507 httpc_init_connection_common(httpc_state_t **connection, const httpc_connection_t *settings, const char* server_name, argument 521 req_len = httpc_create_request_string(settings, server_name, server_port, uri, use_host, NULL, 0); 562 req->pcb = altcp_new(settings->altcp_allocator); 567 req->remote_port = settings->use_proxy ? settings->proxy_port : server_port; 575 req_len2 = httpc_create_request_string(settings, server_name, server_port, uri, use_host, 583 req->conn_settings = settings; 594 httpc_init_connection(httpc_state_t **connection, const httpc_connection_t *settings, cons argument 605 httpc_init_connection_addr(httpc_state_t **connection, const httpc_connection_t *settings, const ip_addr_t* server_addr, u16_t server_port, const char* uri, altcp_recv_fn recv_fn, void* callback_arg) argument 632 httpc_get_file(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, altcp_recv_fn recv_fn, void* callback_arg, httpc_state_t **connection) argument 677 httpc_get_file_dns(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings, altcp_recv_fn recv_fn, void* callback_arg, httpc_state_t **connection) argument 713 httpc_connection_t settings; member in struct:_httpc_filestate 723 httpc_fs_init(httpc_filestate_t **filestate_out, const char* local_file_name, const httpc_connection_t *settings, void* callback_arg) argument 818 httpc_get_file_to_disk(const ip_addr_t* server_addr, u16_t port, const char* uri, const httpc_connection_t *settings, void* callback_arg, const char* local_file_name, httpc_state_t **connection) argument 870 httpc_get_file_dns_to_disk(const char* server_name, u16_t port, const char* uri, const httpc_connection_t *settings, void* callback_arg, const char* local_file_name, httpc_state_t **connection) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage8.py | 18 whose output it consumes. This parser's purpose is to resolve settings that 37 All settings are resolved. 40 ast_lifted.assembly.configuration.settings) 54 for s in assembly.configuration.settings: 81 referents = [x for x in assembly.configuration.settings 85 # No existing settings for the attribute that our current attribute 128 assembly.configuration.settings = new_settings
|
H A D | stage6.py | 68 assembly.configuration.settings.extend(a.configuration.settings)
|
H A D | stage7.py | 112 # Indirect settings we'll accumulate. 115 # Final connections and settings we'll return. 141 insts, conns, alias, settings = infer_all(i.type, i) 163 child_settings.extend(settings) 212 # Accrue any settings we have. 213 for s in (item.configuration.settings if item.configuration is not None 238 instances, connections, aliases, settings = infer_all(assembly) 254 # Replace the settings. 255 assembly.configuration.settings = settings [all...] |
H A D | query.py | 17 whose output it consumes. This parser's purpose is to resolve settings that 97 ast_lifted.assembly.configuration.settings) 119 for s in assembly.configuration.settings: 151 assembly.configuration.settings = new_settings
|
H A D | stage3.py | 309 return Configuration(id, configuration_defn.settings) 314 def _lift_configuration_defn(location, *settings): 315 return Configuration(settings=list(settings), location=location)
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | ppp.c | 221 pcb->settings.refuse_pap = !(authtype & PPPAUTHTYPE_PAP); 224 pcb->settings.refuse_chap = !(authtype & PPPAUTHTYPE_CHAP); 226 pcb->settings.refuse_mschap = !(authtype & PPPAUTHTYPE_MSCHAP); 227 pcb->settings.refuse_mschap_v2 = !(authtype & PPPAUTHTYPE_MSCHAP_V2); 231 pcb->settings.refuse_eap = !(authtype & PPPAUTHTYPE_EAP); 233 pcb->settings.user = user; 234 pcb->settings.passwd = passwd; 242 pcb->settings.require_mppe = 0; 246 pcb->settings.require_mppe = 1; 247 pcb->settings [all...] |
H A D | upap.c | 193 if (pcb->settings.pap_req_timeout > 0) 194 TIMEOUT(upap_reqtimeout, pcb, pcb->settings.pap_req_timeout); 207 if (pcb->upap.us_transmits >= pcb->settings.pap_max_transmits) { 253 if (pcb->settings.pap_req_timeout > 0) 254 TIMEOUT(upap_reqtimeout, pcb, pcb->settings.pap_req_timeout); 270 if (pcb->upap.us_serverstate == UPAPSS_LISTEN && pcb->settings.pap_req_timeout > 0) 450 if (pcb->settings.pap_req_timeout > 0) 558 TIMEOUT(upap_timeout, pcb, pcb->settings.pap_timeout_time); 642 if (!pcb->settings.hide_password)
|
H A D | chap-new.c | 67 { "chap-max-challenge", o_int, &pcb->settings.chap_max_transmits, 69 { "chap-interval", o_int, &pcb->settings.chap_rechallenge_time, 232 } else if (pcb->chap_server.challenge_xmits >= pcb->settings.chap_max_transmits) { 250 TIMEOUT(chap_timeout, arg, pcb->settings.chap_timeout_time); 313 if (pcb->settings.explicit_remote) { 396 if (pcb->settings.chap_rechallenge_time) { 399 pcb->settings.chap_rechallenge_time); 464 if (pcb->settings.explicit_remote || (pcb->settings.remote_name[0] != 0 && rname[0] == 0)) 465 strlcpy(rname, pcb->settings [all...] |
H A D | fsm.c | 83 f->maxnakloops = pcb->settings.fsm_max_nak_loops; 209 f->retransmits = pcb->settings.fsm_max_term_transmits; 225 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time); 284 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time); 481 f->retransmits = pcb->settings.fsm_max_conf_req_transmits; 494 f->retransmits = pcb->settings.fsm_max_conf_req_transmits; 598 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time); 722 f->retransmits = pcb->settings.fsm_max_conf_req_transmits; 761 TIMEOUT(fsm_timeout, f, pcb->settings.fsm_timeout_time);
|
H A D | auth.c | 765 if (pcb->settings.auth_required && !(0 789 if (!pcb->settings.null_login 831 eap_authwithpeer(pcb, pcb->settings.user); 837 chap_auth_with_peer(pcb, pcb->settings.user, CHAP_DIGEST(ho->chap_mdtype)); 843 upap_authwithpeer(pcb, pcb->settings.user, pcb->settings.passwd); 1010 if (pcb->settings.user && pcb->settings.passwd) { 1011 secretuserlen = (int)strlen(pcb->settings.user); 1012 secretpasswdlen = (int)strlen(pcb->settings [all...] |
H A D | eap.c | 240 if (pcb->settings.eap_req_time > 0) 242 pcb->settings.eap_req_time); 437 pcb->settings.eap_timeout_time = pcb->eap.es_savedtime; 536 if (pcb->settings.eap_timeout_time > 0 && 537 pcb->settings.eap_timeout_time < 30) 538 pcb->settings.eap_timeout_time = 30; 658 if (pcb->settings.explicit_remote && pcb->remote_name) { 676 if (pcb->settings.eap_max_transmits > 0 && 677 pcb->eap.es_server.ea_requests >= pcb->settings.eap_max_transmits) { 866 if (pcb->settings [all...] |
H A D | lcp.c | 466 || ppp_recv_config(pcb, PPP_MRU, (pcb->settings.lax_recv? 0: 0xffffffff), 471 if (pcb->settings.listen_time != 0) { 473 TIMEOUTMS(lcp_delayed_up, f, pcb->settings.listen_time); 660 if (pcb->settings.user && pcb->settings.passwd) { 662 if (pcb->settings.refuse_pap) { 667 if (pcb->settings.refuse_chap) { 671 if (pcb->settings.refuse_mschap) { 674 if (pcb->settings.refuse_mschap_v2) { 681 if (pcb->settings [all...] |
H A D | ccp.c | 556 if (pcb->settings.require_mppe) { 558 (pcb->settings.refuse_mppe_40 ? 0 : MPPE_OPT_40) 559 | (pcb->settings.refuse_mppe_128 ? 0 : MPPE_OPT_128); 951 if ((try_.mppe & MPPE_OPT_STATEFUL) && pcb->settings.refuse_mppe_stateful) { 1166 if (pcb->settings.refuse_mppe_stateful) {
|
H A D | ipcp.c | 725 wo->req_dns1 = wo->req_dns2 = pcb->settings.usepeerdns; /* Request DNS addresses from the peer */ 1780 wo->req_addr && !reject_if_disagree && !pcb->settings.noremoteip) { 1843 if (wo->hisaddr == 0 && !pcb->settings.noremoteip) { 1911 if (ho->hisaddr == 0 && !pcb->settings.noremoteip) { 1933 if (pcb->settings.usepeerdns && (go->dnsaddr[0] || go->dnsaddr[1])) { 1955 || (pcb->settings.auth_required && wo->hisaddr != ho->hisaddr)
|
/seL4-camkes-master/projects/lwip/test/sockets/ |
H A D | sockets_stresstest.c | 12 * (configure your lwipopts.h settings high enough) 585 struct test_settings *settings = (struct test_settings *)arg; local 591 memcpy(&addr, &settings->addr, sizeof(struct sockaddr_storage)); 638 struct test_settings *settings = (struct test_settings *)arg; local 640 if (settings->loop_cnt) { 641 for (i = 0; i < settings->loop_cnt; i++) { 660 struct test_settings *settings = (struct test_settings *)mem_malloc(sizeof(struct test_settings)); local 662 LWIP_ASSERT("OOM", settings != NULL); 663 memset(settings, 0, sizeof(struct test_settings)); 667 settings 679 struct test_settings *settings = (struct test_settings *)mem_malloc(sizeof(struct test_settings)); local [all...] |
/seL4-camkes-master/tools/cogent/cogent/tests/ |
H A D | run-test-suite.py | 192 self.settings = YAML().load(f.read()) 200 if (not isinstance(self.settings, list)): 205 for f in self.settings: 245 return [x['test_name'] for x in self.settings ] 330 return self.run_tests(context, filter(lambda t: test_name == t['test_name'], self.config.settings)) 334 return self.run_tests(context, self.config.settings)
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_dhcp_d.tex | 12 \texttt{int pico\_dhcp\_server\_initiate(struct pico\_dhcpd\_settings *settings);} 16 \item \texttt{settings} - a pointer to a struct \texttt{pico\_dhcpd\_settings}, in which the following members matter to the user :
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | ppp.h | 317 ppp_settings settings; member in struct:ppp_pcb_s 473 #define ppp_set_auth_required(ppp, boolval) (ppp->settings.auth_required = boolval) 501 #define ppp_set_usepeerdns(ppp, boolval) (ppp->settings.usepeerdns = boolval) 531 #define ppp_set_listen_time(ppp, intval) (ppp->settings.listen_time = intval)
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 176 for s in self.configuration.settings: 217 def settings(self): member in class:Assembly 218 return self.configuration.settings 298 @ast_property("settings", (list, tuple)) 300 child_fields = ('settings',) 302 def __init__(self, name=None, settings=None, location=None): 305 self.settings = list(settings or []) 310 [self.adopt(s) for s in self.settings] 315 self.settings [all...] |