Searched refs:tree (Results 1 - 18 of 18) sorted by relevance

/seL4-test-master/kernel/tools/hardware/utils/
H A Dcpu.py16 def get_cpus(tree: FdtParser) -> List[WrappedNode]:
17 ' Return a list of all the CPUs described in this device tree. '
18 cpus_node = tree.get_path('/cpus')
H A Dmemory.py18 def get_memory_regions(tree: FdtParser):
19 ''' Get all regions with device_type = memory in the tree '''
25 tree.visit(visitor)
88 def get_physical_memory(tree: FdtParser, config: Config) -> List[Region]:
90 regions = get_memory_regions(tree)
91 reserved = parse_reserved_regions(tree.get_path('/reserved-memory'))
H A Drule.py183 def get_interrupts(self, tree: FdtParser, node: WrappedNode) -> List[KernelInterrupt]:
186 interrupts = node.get_interrupts(tree)
208 boot_cpu = tree.get_boot_cpu()
/seL4-test-master/kernel/tools/hardware/outputs/
H A Dc_header.py7 ''' generate a c header file from the device tree '''
112 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
113 ''' Given a device tree and a set of rules, returns a tuple (groups, offsets).
117 kernel_devices = tree.get_kernel_devices()
138 def get_interrupts(tree: fdt.FdtParser, rules: rule.HardwareYaml):
140 kernel_devices = tree.get_kernel_devices()
146 irqs += dev_rule.get_interrupts(tree, dev)
161 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
165 physical_memory, reserved, physBase = memory.get_physical_memory(tree, config)
166 kernel_regions, kernel_macros = get_kernel_devices(tree, hardwar
[all...]
H A Dyaml.py7 ''' generate a yaml file with memory region info from the device tree '''
16 def get_kernel_devices(tree: fdt.FdtParser, rules: rule.HardwareYaml):
17 kernel_devices = tree.get_kernel_devices()
27 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
31 phys_mem, reserved, _ = memory.get_physical_memory(tree, config)
32 kernel_devs = get_kernel_devices(tree, hardware)
H A Dcompat_strings.py7 ''' generate a text file with matched compatible strings from the device tree '''
14 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config,
18 chosen = tree.get_kernel_devices()
H A Delfloader.py7 ''' generate a header file for the elfloader from a device tree '''
102 def get_elfloader_cpus(tree: fdt.FdtParser, devices: List[device.WrappedNode]) -> List[dict]:
103 cpus = cpu.get_cpus(tree)
143 def run(tree: fdt.FdtParser, hardware: rule.HardwareYaml, config: config.Config, args: argparse.Namespace):
144 devices = tree.get_elfloader_devices()
145 cpu_info = get_elfloader_cpus(tree, devices)
/seL4-test-master/tools/nanopb/tests/cyclic_messages/
H A Dencode_cyclic_callback.c2 * {'foobar': 1234, 'xyz': 'abc', 'tree': [[[1, 2], 3], [4, 5]]}
32 /* Parse a tree in format [[1 2] 3] and encode it directly to protobuf */
35 TreeNode tree = TreeNode_init_zero; local
40 /* This is a tree branch */
42 tree.left.funcs.encode = encode_tree;
43 tree.left.arg = p;
46 tree.right.funcs.encode = encode_tree;
47 tree.right.arg = p;
52 tree.has_leaf = true;
53 tree
[all...]
/seL4-test-master/kernel/tools/hardware/
H A Dirq.py25 def __init__(self, node: WrappedNode, tree: 'FdtParser'):
27 self.tree = tree
92 controller = self.tree.get_irq_controller(nexus_data.pop(0))
167 irq_parent = self.tree.get_irq_controller(irq_parent_ph)
189 def create_irq_controller(node: WrappedNode, tree: 'FdtParser'):
192 return InterruptNexus(node, tree)
197 return CONTROLLERS[compat](node, tree)
199 return IrqController(node, tree)
H A Ddevice.py116 def get_interrupts(self, tree: 'FdtParser') -> List[int]:
122 interrupt_parent = tree.get_irq_controller(phandle)
126 interrupt_parent = tree.get_irq_controller(self.get_interrupt_parent())
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dguest_memory.c99 /* Search the regular reservation tree to begin with */
104 /* Search the anonymous reservation tree if nothing found */
111 res_tree *tree; local
119 tree = res_cookie->regular_res_tree;
121 tree = res_cookie->anon_res_tree;
126 result_node = sglib_res_tree_find_member(tree, &search_node);
133 sglib_res_tree_delete(&tree, result_node);
135 res_cookie->regular_res_tree = tree;
137 res_cookie->anon_res_tree = tree;
146 res_tree *tree; local
[all...]
/seL4-test-master/tools/riscv-pk/scripts/
H A Dvcs-version.sh78 if !( git rev-parse --is-inside-work-tree &> /dev/null ); then
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dsglib.h725 /* ------------------------------- binary tree traversal (level 0) -------------------- */
728 #define SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, iteratedVariable, order, left, right, command) {\
729 /* this is non-recursive implementation of tree traversal */\
731 /* the _path_[0] contains the root of the tree; */\
742 _cn_ = (tree);\
773 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, left, right, command) {\
774 SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, 1, left, right, command);\
777 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS_PREORDER(type, tree, _current_element_, left, right, command) {\
778 SGLIB___BIN_TREE_MAP_ON_ELEMENTS(type, tree, _current_element_, 0, left, right, command);\
781 #define SGLIB_BIN_TREE_MAP_ON_ELEMENTS_POSTORDER(type, tree, _current_element
[all...]
/seL4-test-master/projects/musllibc/src/regex/
H A Dregcomp.c1087 /* Inserts a catenation node to the root of the tree given in `node'.
1118 /* Inserts a catenation node to the root of the tree given in `node'.
1186 /* Adds tags to appropriate locations in the parse tree in `tree', so that
1189 tre_add_tags(tre_mem_t mem, tre_stack_t *stack, tre_ast_node_t *tree, argument
1194 tre_ast_node_t *node = tree; /* Tree node we are currently looking at. */
1647 assert(tree->num_tags == num_tags);
2135 /* Walk through the tree recursively. */
2228 the nodes of the AST `tree'. */
2230 tre_compute_nfl(tre_mem_t mem, tre_stack_t *stack, tre_ast_node_t *tree) argument
2680 tre_ast_node_t *tree, *tmp_ast_l, *tmp_ast_r; local
[all...]
/seL4-test-master/kernel/manual/parts/
H A Dcspace.tex39 derivation tree} (CDT) in which it tracks the relationship between
184 derivations in a capability derivation tree.
217 \caption{Example capability derivation tree.}\label{fig:CDT}
220 \autoref{fig:CDT} shows an example capability derivation tree that
273 tree become unreachable, potentially including the deleting of some of
276 deletion requires user-level to delete the tree leaf first if
H A Dobjects.tex414 The tree structure so generated is termed the \emph{capability
415 derivation tree} (CDT).\footnote{Although the CDT conceptually is a separate
/seL4-test-master/projects/musllibc/
H A Dconfigure195 # Get the source dir for out-of-tree builds
387 tryflag CFLAGS_MEMOPS -fno-tree-loop-distribute-patterns
/seL4-test-master/tools/riscv-pk/
H A Dconfigure1323 --enable-print-device-tree
1963 # They can cause serious problems if a builder's source tree is in a directory
4085 # Check whether --enable-print-device-tree was given.
5227 # Have a temporary directory for convenience. Make it in the build tree
5550 *) # Look for the file first in the build tree, then in the source tree

Completed in 139 milliseconds