Searched refs:initialised (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dmsgqueue.h22 bool initialised; member in struct:camkes_msgqueue_sender
28 bool initialised; member in struct:camkes_msgqueue_receiver
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dmsgqueue.c36 if (sender->initialised) {
42 ZF_LOGE("Failed to retrieve an initialised sender channel with ID %d", msgqueue_id);
60 sender->initialised = true;
72 if (receiver->initialised) {
78 ZF_LOGE("Failed to retrieve an initialised receiver channel with ID %d", msgqueue_id);
91 receiver->initialised = true;
128 if (!sender->initialised) {
165 if (!receiver->initialised) {
178 if (!receiver->initialised) {
193 if (!receiver->initialised) {
[all...]
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/
H A Dgpio.c30 bool initialised; member in struct:gpio_entry
63 return gpio_table[pin_id].initialised ? true : false;
118 gpio_entry->initialised = true;
/seL4-camkes-master/projects/global-components/components/ClockServer/src/
H A Dclock_server.c24 bool initialised; member in struct:clock_entry
37 return clock_table[clk_id].initialised;
74 ZF_LOGE("Clock is already initialised by another owner");
90 clock_table[clk_id].initialised = true;
119 ZF_LOGE("Clock isn't initialised");
149 ZF_LOGE("Clock isn't initialised");
178 ZF_LOGE("Parent clock isn't initialised");
190 ZF_LOGE("Child clock isn't initialised");
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_mdns.tex13 Initialises the entire mDNS-module and sets the hostname for this machine. Sets up the global mDNS socket properly and calls callback when succeeded. Only when the module is properly initialised, records can be registered on the network.
26 \item \texttt{cb$\_$initialised} - Callback-function that is called when the initialisation process is done. This will also get called when asynchronous conflicts occur for successfully registered records during run-time. The mDNS-record tree contains the registered records, the char-buffer contains the registered hostname and the void-pointer contains the passed argument.
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.
56 Returns the current hostname for this machine when the module is initialised, returns NULL when the module is not initialised.
/seL4-camkes-master/tools/cogent/cogent/doc/
H A Ddoc.tex668 taken as well to indicate that these fields are not yet initialised.

Completed in 101 milliseconds