/seL4-camkes-master/projects/camkes/apps/teststringarrays/ |
H A D | A.c | 20 const char *name = get_instance_name(); local [all...] |
/seL4-camkes-master/projects/camkes/apps/socket/components/Transport/src/ |
H A D | transport.c | 13 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Sender/src/ |
H A D | sender.c | 14 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/src/ |
H A D | receiver.c | 13 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/mutex/components/B/src/ |
H A D | main.c | 23 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/mutex/components/A/src/ |
H A D | main.c | 12 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/multiplier/components/Multiplier/src/ |
H A D | main.c | 14 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/multiplier/components/Client/src/ |
H A D | client.c | 20 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/cakeml_regex/components/CakeMLFilter/ |
H A D | filterProgScript.sml | 73 val name = (#Name res) value
|
/seL4-camkes-master/projects/camkes/apps/adder/components/Client/src/ |
H A D | client.c | 15 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/adder/components/Adder/src/ |
H A D | adder.c | 16 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Client/src/ |
H A D | client.c | 15 const char *name = get_instance_name(); local
|
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/ |
H A D | adder.c | 13 const char *name = get_instance_name(); local
|
/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
H A D | syscalls.h | 838 LIBSEL4_INLINE_FUNC void seL4_DebugNameThread(seL4_CPtr tcb, const char *name) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 223 static int append_prop_with_cells(void *fdt, int offset, uint64_t val, int num_cells, const char *name) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device.h | 28 const char *name; member in struct:device
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | boot.c | 23 vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, ps_io_ops_t *io_ops, seL4_CPtr host_endpoint, const char *name) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 232 static void UNUSED dump_vector(const char *name, void *bitmap) argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | macros.py | 323 name = "%s_0_fault_handler" % instance_name variable in class:threads.Thread [all...] |
/seL4-camkes-master/kernel/src/api/ |
H A D | syscall.c | 110 const char *name; local
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1159 const char *name = CDL_Obj_Name(cdl_tcb); local
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | mmc.h | 139 char name[6]; member in struct:cid::__anon66::__anon67 146 char name[5]; member in struct:cid::__anon66::__anon68
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 348 const char *name; /* textual ObjID from the capDL spec */ member in struct:__anon59
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 90 const char *name; member in struct:test_type 126 char name[TEST_NAME_MAX]; member in struct:testcase
|
/seL4-camkes-master/tools/cogent/cogent/examples/brutal/ |
H A D | brutal_manual.c | 39 char* name; member in struct:Entry 57 findStuff_ret_t findStuff (SysState *sys, char *name) { argument
|