/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage9.py | 19 Combine n-1 connections according to the following rule: 20 1. If an interface is in multiple connections, and in each connection it is 21 on the same end (to or from), all the connections can be combined into a single connection. 22 2. If an interface is in multiple connections and the condition in 1 does not 39 def add_connections(connections): 41 for connection in connections: 51 # is a set of connections to remove from the ast, and 66 for connections in multi: 67 if len(connections) == 1: 69 name = ".".join(sorted([c.name for c in connections])) [all...] |
H A D | stage7.py | 115 # Final connections and settings we'll return. 116 connections = [] 119 # In the context of connections, we may need to adjust their ends based on 133 # We'll accumulate indirect child connections here. 165 for c in item.composition.connections + child_connections: 199 connections.append(n) 218 return immediate_instances + child_instances, connections, aliases, \ 238 instances, connections, aliases, settings = infer_all(assembly) 242 # Replace the connections. Now we take into account the interface 244 assembly.composition.connections [all...] |
H A D | stage6.py | 65 assembly.composition.connections.extend(a.composition.connections)
|
H A D | stage3.py | 281 connections=composition_defn.connections, 286 connections=composition_defn.connections, 293 connections=[x for x in args if isinstance(x, Connection)],
|
H A D | stage4.py | 71 # failure silently pass. This is to support connections 143 for c in assembly.composition.connections:
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | cross_vm_connection.h | 12 * components on a seL4-based system. The module exports registered cross vm connections to a Linux VM such that 56 * @function cross_vm_connections_init_common(vm, connection_base_addr, connections, num_connections, pci, alloc_irq) 57 * Install a set of cross vm connections into a guest VM (for either x86 or ARM VM platforms) 61 * @param {crossvm_handle_t *} connections The set of crossvm connections to be initialised and installed in the guest 62 * @param {int} num_connection The number of connections passed in through the 'connections' parameter 63 * @param {vmm_pci_space_t *} pci A handle to the VM's host PCI device. The connections are advertised through the 65 * @param {alloc_free_interrupt_fn} alloc_irq A function that is used to allocated an irq number for the crossvm connections 68 int cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | cross_vm_connection.c | 260 static int initialise_connections(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, argument 269 crossvm_dataport_handle_t *dataport = connections[i].dataport; 284 err = register_consume_event(vm, &connections[i], &info[i]); 286 ZF_LOGE("Failed to register connections consume event"); 289 info[i].connection = connections[i]; 290 if (connections[i].connection_name == NULL) { 291 connections[i].connection_name = "connector"; 293 strncpy(info[i].event_registers + EVENT_BAR_DEVICE_NAME_REGISTER, connections[i].connection_name, 301 int cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, argument 311 int err = initialise_connections(vm, connection_base_addr, connections, num_connection [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 304 for connection in composition.connections: 487 3. Internal connections (from an instance label to itself) to 490 These instances and connections usually share cap rights in 521 # 3. Internal connections 522 for conn in composition.connections: 541 Given that this object exists across multiple connections, we enumerate all connections 542 in the composition to find all the connections that contain the component instance that 544 selected connections. Badges are allocated by starting at 1 and then left shifting for 567 for c in composition.connections [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage7.py | 298 self.assertLen(assembly.composition.connections, 1) 299 c = assembly.composition.connections[0] 350 self.assertLen(assembly.composition.connections, 1) 351 c = assembly.composition.connections[0] 403 self.assertLen(assembly.composition.connections, 1) 404 con = assembly.composition.connections[0]
|
H A D | teststage5.py | 151 self.assertLen(comp.connections, 2) 152 c, c2 = comp.connections 215 self.assertLen(comp.connections, 2) 216 c, c2 = comp.connections
|
H A D | teststage4.py | 293 self.assertLen(comp.connections, 2) 294 c, c2 = comp.connections 330 connections in your spec, these come out clumped together by type in 331 the AST. This is usually not an issue as connections can reference 380 self.assertLen(comp.connections, 2) 381 c, c2 = comp.connections
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 213 def connections(self): member in class:Assembly 214 return self.composition.connections 224 @ast_property("connections", lambda c: isinstance(c, (list, tuple)) and 232 # `connections` and `exports` may reference members of `instances` and/or 235 child_fields = ('instances', 'groups', 'connections', 'exports') 237 def __init__(self, name=None, instances=None, connections=None, 242 self.connections = list(connections or []) 249 [self.adopt(c) for c in self.connections] 264 for conn in self.connections [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 284 c = [c for c in assembly.composition.connections if c.name == key[1]][0]
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Graph_Widget.py | 231 # Create connection widgets for all connections in assembly 232 # Instead of syncing connections, ConnectionWidgets are considered disposable. Just delete all and remake them 234 for connection in self.ast.assembly.connections: 315 new_widget.setZValue(5) # Foreground of connections 407 Remove all connections from scene. Effectively deleting all existing connections 417 del self.connection_widgets[:] # Delete all connections widgets from internal list 502 # For all (not hidden) connections), connect the source and destination widgets with minimum length of 2 inches
|