/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | adl.h | 33 provides GDB_delegate delegate; \ 35 provides CAmkES_Debug GDB_mem_handler;
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/camkes-include/ |
H A D | camkes-picotcp-socket-sync.h | 32 provides PicoControl name##_control; \ 33 provides PicoRecv name##_recv; \ 34 provides PicoSend name##_send; \
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage5.py | 118 provides P a; 135 self.assertLen(A.provides, 1) 136 a = A.provides[0] 182 provides P a; 199 self.assertLen(A.provides, 1) 200 a = A.provides[0] 238 provides P a; 241 provides P b; 265 self.assertIs(e.source_interface, Foo.provides[0]) 267 self.assertIs(e.destination, Bar.provides[ [all...] |
H A D | teststage4.py | 256 provides P a; 273 self.assertLen(A.provides, 1) 274 a = A.provides[0] 343 provides P a; 360 self.assertLen(A.provides, 1) 361 a = A.provides[0] 426 provides P p; 489 provides P p; 512 self.assertLen(s.type.provides, 1) 526 self.assertIs(conn.to_end.interface, s.type.provides[ [all...] |
H A D | teststage7.py | 267 provides P p; 307 self.assertIs(c.to_end.interface, Bar.provides[0]) 317 provides P p; 359 self.assertIs(c.to_end.interface, Foo.provides[0]) 369 provides P p; 372 provides P p; 413 self.assertIs(con.to_end.interface, Foo.provides[0])
|
/seL4-camkes-master/projects/global-components/components/ClockServer/camkes-include/ |
H A D | camkes-ClockServer.h | 26 provides Clock name; \
|
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/camkes-include/ |
H A D | camkes-GPIOServer.h | 26 provides GPIO name; \
|
H A D | camkes-MUXServer.h | 26 provides MUX name; \
|
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/camkes-include/ |
H A D | camkes-BPMPServer.h | 26 provides BPMP name; \
|
/seL4-camkes-master/projects/global-components/components/ResetServer/camkes-include/ |
H A D | camkes-ResetServer.h | 26 provides Reset name; \
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/camkes-include/ |
H A D | camkes-picotcp-ethernet-async.h | 29 provides picotcp_ethernet_async_control name##_control; \
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Instance_Property_Widget.py | 111 for provide_dict in self.instance_widget.provides:
|
H A D | Instance_Widget.py | 116 def provides(self): member in class:InstanceWidget 126 self.provides.append({'Name': name, 134 for dictionary in self.provides: 141 for dictionary in self.provides: 800 no_of_connections = len(self.dataport) + len(self.provides) + len(self.consumes) + len(self.uses) + \ 804 print "\tprovides: %s" % str(len(self.provides))
|
H A D | Graph_Widget.py | 279 for provide in component.provides:
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | intro.tex | 13 application domains. As a microkernel, it provides a small number of
|
H A D | io.tex | 75 On x86 platforms, seL4 provides access to I/O ports to user-level threads. 114 subverting security. To mitigate this threat, seL4 provides support for 185 seL4 provides an API for programming the Arm System MMU (SMMU) version 2.0, 347 the stream ID. The kernel provides this API for the conveniences of 391 as part of the API implementation. In addition, the kernel provides two system 473 \item The kernel provides a API for reading the global fault registers: 481 \item The kernel provides an API for reading the context bank fault registers:
|
H A D | vspace.tex | 39 seL4 provides methods for operating on these 117 RISC-V provides the same paging structure for all levels, \texttt{PageTable}. The VSpace is then 249 this limited resource, the microkernel provides an \obj{ASID Control}
|
H A D | api.tex | 257 This section provides the system call API for non-MCS kernel configurations. 261 This section provides the system call API for MCS kernel configurations.
|
H A D | objects.tex | 19 The basic services seL4 provides are as follows: 54 The seL4 microkernel provides a capability-based access-control model. 113 The seL4 kernel provides a message-passing service for communication between
|
H A D | bootup.tex | 73 which capabilities are stored where in its CNode, the kernel provides
|
H A D | threads.tex | 13 seL4 provides threads to represent an execution context. On MCS configurations of 199 invoke the appropriate \obj{SchedControl} capability, which provides access to CPU time management 509 The kernel provides support for the use of hardware single-stepping of userspace
|
H A D | ipc.tex | 9 The seL4 microkernel provides a message-passing IPC mechanism for communication
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | objects.py | 262 i.type.emits, i.type.provides, i.type.uses): 594 @ast_property("provides", lambda p: isinstance(p, (list, tuple)) and 615 child_fields = ('attributes', 'includes', 'provides', 'uses', 'emits', 620 provides=None, uses=None, emits=None, consumes=None, dataports=None, 628 self.provides = list(provides or []) 649 [self.adopt(p) for p in self.provides] 678 self.provides = tuple(self.provides) 977 return len(self.instance.type.provides [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | stage3.py | 237 provides=component_defn.provides, uses=component_defn.uses, 257 provides=[x for x in args if isinstance(x, Provides)], 836 'provides': _lift_provides,
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | x86_32.S | 151 # provides the number of bytes which have already been popped from the
|