Searched refs:uses (Results 1 - 25 of 32) sorted by relevance

12

/seL4-camkes-master/tools/rumprun/platform/sel4/camkes/
H A Drumprun_camkes.h24 uses Timer platform_timer; \
25 uses PutChar platform_putchar; \
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dadl.h32 uses CAmkES_Debug fault; \
34 uses CAmkES_Debug GDB_mem; \
/seL4-camkes-master/projects/global-components/components/TimeServer/include/plat/pc99/plat/
H A Dtimers.h15 uses IOPort pit_command; \
16 uses IOPort pit_channel0; \
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/camkes-include/
H A Dcamkes-picotcp-ethernet-async.h20 uses picotcp_ethernet_async_control name##_control; \
22 uses VirtQueueDrv name##_tx; \
23 uses VirtQueueDrv name##_rx; \
31 uses VirtQueueDev name##_tx; \
32 uses VirtQueueDev name##_rx; \
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/camkes-include/
H A Dcamkes-picotcp-socket-sync.h20 uses PicoControl name##_control; \
21 uses PicoRecv name##_recv; \
22 uses PicoSend name##_send; \
24 uses VirtQueueDrv name##_tx; \
25 uses VirtQueueDrv name##_rx; \
36 maybe uses VirtQueueDev name##_tx; \
37 maybe uses VirtQueueDev name##_rx; \
/seL4-camkes-master/projects/global-components/components/SerialServer/include/plat/pc99/plat/
H A Dserial.h15 uses IOPort serial_port; \
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/camkes-include/
H A Dcamkes-picotcp-base.h20 uses Timer name##_timer; \
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/camkes-include/
H A Dcamkes-BenchUtiliz.h24 uses IdleThread name;
/seL4-camkes-master/projects/global-components/components/SerialServer/camkes-putchar-client/camkes-include/
H A Dcamkes-SerialServer-camkes-putchar-client.h20 uses PutChar name##_putchar; \
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dteststage4.py257 uses P b;
276 self.assertLen(A.uses, 1)
277 b = A.uses[0]
344 uses P b;
363 self.assertLen(A.uses, 1)
364 b = A.uses[0]
420 uses P p; /* <- forward reference */
455 self.assertLen(Client.uses, 1)
456 self.assertIs(Client.uses[0].type, P)
486 uses
[all...]
H A Dteststage5.py119 uses P b;
138 self.assertLen(A.uses, 1)
139 b = A.uses[0]
183 uses P b;
202 self.assertLen(A.uses, 1)
203 b = A.uses[0]
H A Dteststage7.py273 uses P p;
305 self.assertIs(c.from_end.interface, Baz.uses[0])
320 uses P p;
357 self.assertIs(c.from_end.interface, Bar.uses[0])
379 uses P p;
411 self.assertIs(con.from_end.interface, Baz.uses[0])
/seL4-camkes-master/projects/picotcp/docs/user_manual/
H A Dchap_api_olsr.tex9 algorithm. OLSR uses hop-by-hop routing, i.e., each node uses its
/seL4-camkes-master/projects/global-components/components/ClockServer/camkes-include/
H A Dcamkes-ClockServer.h20 uses Clock name; \
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/camkes-include/
H A Dcamkes-GPIOServer.h20 uses GPIO name; \
H A Dcamkes-MUXServer.h20 uses MUX name; \
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/camkes-include/
H A Dcamkes-BPMPServer.h20 uses BPMP name; \
/seL4-camkes-master/projects/global-components/components/ResetServer/camkes-include/
H A Dcamkes-ResetServer.h20 uses Reset name; \
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage49 $PROGNAME uses objcopy, readelf (both from GNU binutils), and mkimage
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DInstance_Property_Widget.py116 for use_dict in self.instance_widget.uses:
H A DInstance_Widget.py151 def uses(self): member in class:InstanceWidget
160 self.uses.append({'Name': name, 'Interface_type': interface_type, 'Connection_Widget': connection})
167 for dictionary in self.uses:
174 for dictionary in self.uses:
800 no_of_connections = len(self.dataport) + len(self.provides) + len(self.consumes) + len(self.uses) + \
806 print "\tuses: %s" % str(len(self.uses))
/seL4-camkes-master/projects/camkes-tool/camkes/ast/
H A Dobjects.py262 i.type.emits, i.type.provides, i.type.uses):
596 @ast_property("uses", lambda u: isinstance(u, (list, tuple)) and
615 child_fields = ('attributes', 'includes', 'provides', 'uses', 'emits',
620 provides=None, uses=None, emits=None, consumes=None, dataports=None,
629 self.uses = list(uses or [])
650 [self.adopt(u) for u in self.uses]
679 self.uses = tuple(self.uses)
977 return len(self.instance.type.provides + self.instance.type.uses
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dio.tex243 The kernel implementation only uses translation stages matching what translation
245 the SMMU only uses stage 1 translation (ASID), that is "stage 1 with stage 2
280 \item[\apifunc{seL4\_ARM\_SIDControl\_GetSID}{arm_sid_controlgetsid}] uses the
302 \item[\apifunc{seL4\_ARM\_CBControl\_GetCB}{arm_cb_controlgetcb}] uses the
324 The SMMU-v2 uses the same paging structure as the MMU (AArch\_64 and AArch\_32
441 Currently, the SMMU driver uses private VMID space, and uses the context bank
/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dstage3.py237 provides=component_defn.provides, uses=component_defn.uses,
258 uses=[x for x in args if isinstance(x, Uses)],
854 'uses': _lift_uses,
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dx86_32.S188 # Hypervisor uses this for application faults while it executes.

Completed in 215 milliseconds

12