Searched refs:OPT (Results 1 - 4 of 4) sorted by last modified time

/seL4-camkes-master/
H A Dgriddle540 OPT=${1#--}
545 if validate_name "$OPT"
/seL4-camkes-master/tools/seL4/cmake-tool/
H A Dgriddle540 OPT=${1#--}
545 if validate_name "$OPT"
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_tftp.tex309 This function is used to extract Extension Options eventually present in Read or Write request (in the listen callback) or in Option ACKnowledge messages (in transmitter or receiver callback when event is equal to PICO$\_$TFTP$\_$EV$\_$OPT).
391 \item \texttt{PICO$\_$TFTP$\_$EV$\_$OPT} Option acknowledge has been received.
502 \item \texttt{PICO$\_$TFTP$\_$EV$\_$OPT} Option acknowledge has been received.
H A Dchap_api_sock.tex707 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$KEEPCNT} - Set number of probes for TCP keepalive
708 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$KEEPIDLE} - Set timeout value for TCP keepalive probes (in ms)
709 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$KEEPINTVL} - Set interval between TCP keepalive retries in case of no reply (in ms)
710 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$LINGER} - Set linger time for TCP TIME$\_$WAIT state (in ms)
711 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$RCVBUF} - Set receive buffer size for the socket
712 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$RCVBUF} - Set receive buffer size for the socket
713 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$RCVBUF} - Set receive buffer size for the socket
714 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$SNDBUF} - Set send buffer size for the socket
774 \item \texttt{PICO$\_$SOCKET$\_$OPT$\_$RCVBUF} - Read current receive buffer size for the socket
775 \item \texttt{PICO$\_$SOCKET$\_$OPT
[all...]

Completed in 96 milliseconds