Searched refs:provides (Results 1 - 25 of 28) sorted by relevance

12

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dadl.h33 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 Dcamkes-picotcp-socket-sync.h32 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 Dteststage5.py118 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 Dteststage4.py256 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 Dteststage7.py267 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 Dcamkes-ClockServer.h26 provides Clock name; \
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/camkes-include/
H A Dcamkes-GPIOServer.h26 provides GPIO name; \
H A Dcamkes-MUXServer.h26 provides MUX name; \
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/camkes-include/
H A Dcamkes-BPMPServer.h26 provides BPMP name; \
/seL4-camkes-master/projects/global-components/components/ResetServer/camkes-include/
H A Dcamkes-ResetServer.h26 provides Reset name; \
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/camkes-include/
H A Dcamkes-picotcp-ethernet-async.h29 provides picotcp_ethernet_async_control name##_control; \
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DInstance_Property_Widget.py111 for provide_dict in self.instance_widget.provides:
H A DInstance_Widget.py116 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 DGraph_Widget.py279 for provide in component.provides:
/seL4-camkes-master/kernel/manual/parts/
H A Dintro.tex13 application domains. As a microkernel, it provides a small number of
H A Dio.tex75 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 Dvspace.tex39 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 Dapi.tex257 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 Dobjects.tex19 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 Dbootup.tex73 which capabilities are stored where in its CNode, the kernel provides
H A Dthreads.tex13 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 Dipc.tex9 The seL4 microkernel provides a message-passing IPC mechanism for communication
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py262 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 Dstage3.py237 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 Dx86_32.S151 # provides the number of bytes which have already been popped from the

Completed in 372 milliseconds

12