Searched refs:chosen (Results 1 - 9 of 9) sorted by relevance
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | compat_strings.py | 18 chosen = tree.get_kernel_devices() 21 for dev in chosen:
|
/seL4-camkes-master/kernel/tools/hardware/ |
H A D | fdt.py | 84 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 D | fdt.c | 561 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 D | bootup.tex | 26 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 D | ipc.tex | 126 word chosen by the invoker of the \emph{mint} operation. When a message is sent to an endpoint using a badged
|
H A D | threads.tex | 91 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 D | io.tex | 161 unsupported value is chosen.
|
/seL4-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | chap_api_tftp.tex | 61 \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 D | cogent-manual.tex | 93 are not chosen to be realistic, they are only used for illustrating the syntax. The manual only describes the \cogent
|
Completed in 109 milliseconds