/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | ualarm.c | 5 unsigned ualarm(unsigned value, unsigned interval) argument 8 .it_interval.tv_usec = interval,
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 38 * or interval interrupt; when low, the waveform 40 * returns low on overflow or interval interrupt */ 127 /* Sets interval value - If interval is enabled, this is the maximum value 129 uint32_t interval[3]; /* +0x24 */ member in struct:ttc_tmr_regs 350 * requested time to pass (ie. the interval) is computed and 351 * returned via an argument (interval). */ 352 static inline int _ttc_set_freq_for_ns(ttc_t *ttc, uint64_t ns, uint64_t *interval) argument 358 * 1 / (fin / max_cnt) > interval 359 * fin < max_cnt / interval */ 408 _ttc_periodic(ttc_tmr_regs_t *regs, uint64_t interval) argument 484 _ttc_oneshot_relative(ttc_tmr_regs_t *regs, uint64_t interval) argument 519 uint64_t interval; local [all...] |
/seL4-camkes-master/projects/camkes/apps/epit/components/Driver/src/ |
H A D | driver.c | 55 /* Set interrupt interval, in milliseconds. */ 56 void epit_set_interval(int interval) argument 58 REG_VAL(KZM_EPIT_LOAD_ADDR) = (IPG_CLK_KHZ * interval) ;
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_icmp4.c | 211 int interval; member in struct:pico_icmp4_ping_cookie 292 if (!pico_timer_add((uint32_t)cookie->interval, next_ping, cookie)) { 368 int pico_icmp4_ping(char *dst, int count, int interval, int timeout, int size, void (*cb)(struct pico_icmp4_stats *)) argument 373 if((dst == NULL) || (interval == 0) || (timeout == 0) || (count == 0)) { 394 cookie->interval = interval;
|
H A D | pico_icmp4.h | 145 int pico_icmp4_ping(char *dst, int count, int interval, int timeout, int size, void (*cb)(struct pico_icmp4_stats *));
|
H A D | pico_icmp6.c | 667 int interval; member in struct:pico_icmp6_ping_cookie 749 interval_timer = pico_timer_add((pico_time)(cookie->interval), pico_icmp6_next_ping, cookie); 836 int pico_icmp6_ping(char *dst, int count, int interval, int timeout, int size, void (*cb)(struct pico_icmp6_stats *), struct pico_device *dev) argument 841 if(!dst || !count || !interval || !timeout) { 862 cookie->interval = interval;
|
H A D | pico_icmp6.h | 306 int pico_icmp6_ping(char *dst, int count, int interval, int timeout, int size, void (*cb)(struct pico_icmp6_stats *), struct pico_device *dev);
|
H A D | pico_tftp.c | 302 static void tftp_schedule_timeout(struct pico_tftp_session *session, pico_time interval) argument 304 pico_time new_timeout = PICO_TIME_MS() + interval; 308 session->timer = pico_timer_add(interval + 1, timer_callback, session); 317 session->timer = pico_timer_add(interval + 1, timer_callback, session);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/priv/ |
H A D | altcp_priv.h | 59 typedef void (*altcp_set_poll_fn)(struct altcp_pcb *conn, u8_t interval); 119 void altcp_default_set_poll(struct altcp_pcb *conn, u8_t interval);
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | altcp.c | 261 altcp_poll(struct altcp_pcb *conn, altcp_poll_fn poll, u8_t interval) argument 265 conn->pollinterval = interval; 267 conn->fns->set_poll(conn, interval); 518 altcp_default_set_poll(struct altcp_pcb *conn, u8_t interval) argument 521 altcp_poll(conn->inner_conn, conn->poll, interval);
|
H A D | altcp_tcp.c | 176 /* tcp_poll is set when interval is set by application */ 234 altcp_tcp_set_poll(struct altcp_pcb *conn, u8_t interval) argument 239 tcp_poll(pcb, altcp_tcp_poll, interval);
|
H A D | tcp.c | 2089 * Specifies the polling interval and the callback function that should 2090 * be called to poll the application. The interval is specified in 2092 * twice a second. An interval of 10 means that the application would 2105 tcp_poll(struct tcp_pcb *pcb, tcp_poll_fn poll, u8_t interval) argument 2117 pcb->pollinterval = interval;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hcd.c | 139 qhn->rate = (1 << (ep->interval - 1)) / 8; 142 qhn->rate = (1 << (ep->interval - 1)); 144 qhn->rate = (1 << ilogb(ep->interval));
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb_host.h | 55 uint8_t interval; // Interval for polling or NAK rate for Bulk/Control member in struct:endpoint
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | unit_icmp4.c | 44 uint16_t interval = 1000; local 67 fail_if(pico_icmp4_ping(local_address, NUM_PING, interval, timeout, size, cb_ping) < 0); 74 pico_icmp4_ping(remote_address, NUM_PING, interval, timeout, size, cb_ping); 105 pico_icmp4_ping(remote_address, NUM_PING, interval, timeout, size, cb_ping);
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | altcp_proxyconnect.c | 312 /* tcp_poll is set when interval is set by application */ 434 altcp_proxyconnect_set_poll(struct altcp_pcb *conn, u8_t interval) argument 437 altcp_poll(conn->inner_conn, altcp_proxyconnect_lower_poll, interval);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vusb.c | 380 ep.interval = u->rate_ms; 459 ep.interval = 10;
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | altcp.h | 99 void altcp_poll(struct altcp_pcb *conn, altcp_poll_fn poll, u8_t interval);
|
H A D | tcp.h | 421 void tcp_poll (struct tcp_pcb *pcb, tcp_poll_fn poll, u8_t interval);
|
/seL4-camkes-master/projects/lwip/src/apps/altcp_tls/ |
H A D | altcp_tls_mbedtls.c | 573 /* tcp_poll is set when interval is set by application */ 895 altcp_mbedtls_set_poll(struct altcp_pcb *conn, u8_t interval) argument 898 altcp_poll(conn->inner_conn, altcp_mbedtls_lower_poll, interval);
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_ipv4.tex | 483 int pico_icmp4_ping(char *dst, int count, int interval, int timeout, int size, 491 \item \texttt{interval} - Time between two transmissions (in ms)
|
H A D | chap_api_tftp.tex | 239 \item \texttt{type} - Option to set; accepted values are PICO$\_$TFTP$\_$OPTION$\_$FILE for Transfer size Option or PICO$\_$TFTP$\_$OPTION$\_$TIME for Timeout interval Option. 265 To query the timeout PICO$\_$TFTP$\_$OPTION$\_$TIME must be used; a value ranging between 1 and 255 will be returned in the value parameter if the fixed interval is in place. If the call return -1 and pico$\_$err is set to PICO$\_$ERR$\_$ENOENT the adaptive timeout algorithm is running. 276 \item \texttt{type} - Option to query; accepted values are PICO$\_$TFTP$\_$OPTION$\_$FILE for Transfer size Option or PICO$\_$TFTP$\_$OPTION$\_$TIME for Timeout interval Option.
|
H A D | chap_api_sock.tex | 709 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$KEEPINTVL} - Set interval between TCP keepalive retries in case of no reply (in ms)
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | lan9730.c | 966 ZF_LOGD("Registering for INT (%d ms)\n", eth->ep_int->interval);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | usb.c | 578 ep->interval = edsc->bInterval;
|