/seL4-camkes-master/tools/rumprun/platform/sel4/camkes/ |
H A D | rumprun_camkes.h | 24 uses Timer platform_timer; \ 25 uses PutChar platform_putchar; \
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | adl.h | 32 uses CAmkES_Debug fault; \ 34 uses CAmkES_Debug GDB_mem; \
|
/seL4-camkes-master/projects/global-components/components/TimeServer/include/plat/pc99/plat/ |
H A D | timers.h | 15 uses IOPort pit_command; \ 16 uses IOPort pit_channel0; \
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/camkes-include/ |
H A D | camkes-picotcp-ethernet-async.h | 20 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 D | camkes-picotcp-socket-sync.h | 20 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 D | serial.h | 15 uses IOPort serial_port; \
|
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/camkes-include/ |
H A D | camkes-picotcp-base.h | 20 uses Timer name##_timer; \
|
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/camkes-include/ |
H A D | camkes-BenchUtiliz.h | 24 uses IdleThread name;
|
/seL4-camkes-master/projects/global-components/components/SerialServer/camkes-putchar-client/camkes-include/ |
H A D | camkes-SerialServer-camkes-putchar-client.h | 20 uses PutChar name##_putchar; \
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage4.py | 257 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 D | teststage5.py | 119 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 D | teststage7.py | 273 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 D | chap_api_olsr.tex | 9 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 D | camkes-ClockServer.h | 20 uses Clock name; \
|
/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/camkes-include/ |
H A D | camkes-GPIOServer.h | 20 uses GPIO name; \
|
H A D | camkes-MUXServer.h | 20 uses MUX name; \
|
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/camkes-include/ |
H A D | camkes-BPMPServer.h | 20 uses BPMP name; \
|
/seL4-camkes-master/projects/global-components/components/ResetServer/camkes-include/ |
H A D | camkes-ResetServer.h | 20 uses Reset name; \
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | make-uimage | 49 $PROGNAME uses objcopy, readelf (both from GNU binutils), and mkimage
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Instance_Property_Widget.py | 116 for use_dict in self.instance_widget.uses:
|
H A D | Instance_Widget.py | 151 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 D | objects.py | 262 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 D | io.tex | 243 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 D | stage3.py | 237 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 D | x86_32.S | 188 # Hypervisor uses this for application faults while it executes.
|