/seL4-test-master/kernel/tools/hardware/utils/ |
H A D | cpu.py | 16 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 D | memory.py | 18 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 D | rule.py | 183 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 D | c_header.py | 7 ''' 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 D | yaml.py | 7 ''' 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 D | compat_strings.py | 7 ''' 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 D | elfloader.py | 7 ''' 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 D | encode_cyclic_callback.c | 2 * {'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 D | irq.py | 25 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 D | device.py | 116 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 D | guest_memory.c | 99 /* 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 D | vcs-version.sh | 78 if !( git rev-parse --is-inside-work-tree &> /dev/null ); then
|
/seL4-test-master/projects/util_libs/libutils/include/utils/ |
H A D | sglib.h | 725 /* ------------------------------- 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 D | regcomp.c | 1087 /* 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 D | cspace.tex | 39 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 D | objects.tex | 414 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 D | configure | 195 # 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 D | configure | 1323 --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
|