Searched refs:chosen (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/kernel/tools/hardware/outputs/
H A Dcompat_strings.py18 chosen = tree.get_kernel_devices()
21 for dev in chosen:
/seL4-camkes-master/kernel/tools/hardware/
H A Dfdt.py84 chosen = self.get_path('/chosen')
85 if not chosen.has_prop(prop):
89 paths = chosen.get_prop(prop).strings
99 chosen = self.get_path('/chosen')
100 if not chosen.has_prop('seL4,boot-cpu'):
101 raise KeyError('must specify seL4,boot-cpu in /chosen to get boot cpu')
103 prop = chosen.get_prop('seL4,boot-cpu')
/seL4-camkes-master/tools/riscv-pk/machine/
H A Dfdt.c561 const struct fdt_scan_node *chosen; member in struct:chosen_scan
569 if (!strcmp(node->name, "chosen")) {
570 scan->chosen = node;
577 if (scan->chosen && scan->chosen == node) {
578 scan->chosen = NULL;
587 if (!scan->chosen) return;
600 struct chosen_scan chosen; local
607 memset(&chosen, 0, sizeof(chosen));
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex26 slots), but the guard is always chosen so that the CNode resolves exactly
75 space. The mapped address is chosen by the kernel and given to the initial
H A Dipc.tex126 word chosen by the invoker of the \emph{mint} operation. When a message is sent to an endpoint using a badged
H A Dthreads.tex91 Of threads eligible for scheduling, the highest priority thread in a runnable state is chosen.
261 Of threads eligible for scheduling, the highest priority thread in a runnable state is chosen.
H A Dio.tex161 unsupported value is chosen.
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_tftp.tex61 \item \texttt{family} - The chosen socket family. Accepted values are \texttt{PICO$\_$PROTO$\_$IPV4} for IPv4 and \texttt{PICO$\_$PROTO$\_$IPV6} for IPv6.
200 \item \texttt{family} - The chosen socket family. Accepted values are \texttt{PICO$\_$PROTO$\_$IPV4} for IPv4 and \texttt{PICO$\_$PROTO$\_$IPV6} for IPv6.
678 \item \texttt{family} - The chosen socket family. Accepted values are \texttt{PICO$\_$PROTO$\_$IPV4} for IPv4 and \texttt{PICO$\_$PROTO$\_$IPV6} for IPv6.
/seL4-camkes-master/tools/cogent/cogent/manual/
H A Dcogent-manual.tex93 are not chosen to be realistic, they are only used for illustrating the syntax. The manual only describes the \cogent

Completed in 109 milliseconds