Searched refs:started (Results 1 - 11 of 11) sorted by relevance
/seL4-camkes-master/tools/cogent/regression/ |
H A D | memusage.py | 84 self.started = threading.Semaphore(0) 87 # Fetch a sample, and notify others that we have started. 89 self.started.release() 124 p.started.acquire()
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 30 bool started; member in struct:__anon7 84 if (nv_tmr_ltimer->started) { 118 nv_tmr_ltimer->started = true;
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_dhcp_d.tex | 43 This function stops a previously started DHCP server on the given device. 50 \item \texttt{dev} - a pointer to a struct \texttt{pico\_device}, to identify a previously started DHCP server that must be terminated.
|
H A D | chap_api_sntp_c.tex | 24 On success, this call returns 0 if the synchronisation operation has successfully started. When both IPv4 and IPv6 are enabled, success on one is sufficient. 56 On success, this call returns 0 if the synchronisation operation has successfully started. When both IPv4 and IPv6 are enabled, success on one is sufficient.
|
H A D | chap_api_slaacv4.tex | 25 0 returned if the claiming has started successfully
|
H A D | chap_api_mdns.tex | 31 Returns 0 when the module is properly initialised and the host started registering the hostname. Returns something else went the host failed initialising the module or registering the hostname. \texttt{pico$\_$err} is set appropriately. 86 Returns 0 when the host started registering the hostname-record successfully, returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately. 120 Returns 0 when the host started registering the record successfully, returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately. 158 Returns 0 when the host started querying for these records successfully or the records are found in the cache. Returns something else when it didn't succeed. \texttt{pico$\_$err} is set appropriately.
|
H A D | chap_api_dns_sd.tex | 39 Returns 0 when the module successfully started registering the service, something else on failure. \texttt{pico$\_$err} is set appropriately.
|
H A D | chap_api_dhcp_c.tex | 21 \item \texttt{device} - the device on which a negotiation should be started.
|
H A D | chap_api_ipv4.tex | 518 On success, this call returns a positive number, which is the ID of the ping operation just started. 536 This function aborts an ongoing ping operation that has previously started using pico$\_$icmp4$\_$ping().
|
H A D | chap_api_tftp.tex | 18 Real file transaction is started using the functions pico$\_$tftp$\_$start$\_$tx and pico$\_$tftp$\_$start$\_$rx; both require a callback that must be provided by the user to handle single chunks of the transmission. The transmitter callback must use pico$\_$tftp$\_$send function to send each block of data. 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.
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | bootup.tex | 12 is started at priority \texttt{seL4\_MaxPrio} and maximum control priority \texttt{seL4\_MaxPrio}.
|
Completed in 53 milliseconds