Searched refs:get_instance_name (Results 1 - 25 of 44) sorted by relevance

12

/seL4-camkes-master/projects/camkes/apps/lockserver/src/
H A Dclient.c11 printf("%s: starting...\n", get_instance_name());
13 printf("%s: got lock!\n", get_instance_name());
15 printf("%s: released\n", get_instance_name());
/seL4-camkes-master/projects/camkes/apps/testreplycapprotection/
H A Dreceiver.c16 printf("%s: Received call from Receiver\n", get_instance_name());
23 printf("%s: Acquiring mutex...\n", get_instance_name());
26 printf("%s: Acquiring semaphore...\n", get_instance_name());
35 printf("%s: Taking first hop...\n", get_instance_name());
38 printf("%s: Taking second hop...\n", get_instance_name());
41 printf("%s: Taking third hop...\n", get_instance_name());
44 printf("%s: Taking fourth (external) hop...\n", get_instance_name());
47 printf("%s: Releasing mutex...\n", get_instance_name());
50 printf("%s: Releasing semaphore...\n", get_instance_name());
53 printf("%s: Returning (moment of truth)...\n", get_instance_name());
[all...]
H A Dgenerator.c11 printf("%s: Calling Receiver...\n", get_instance_name());
/seL4-camkes-master/projects/camkes/apps/testnto1mmio/
H A Ddriver1.c12 uart_put(get_instance_name());
H A Ddriver2.c12 uart_put(get_instance_name());
/seL4-camkes-master/projects/camkes/apps/testbufvariant/
H A Dclient.c15 printf("%s: Writing a number...\n", get_instance_name());
18 printf("%s: Switching to partner...\n", get_instance_name());
/seL4-camkes-master/projects/camkes/apps/dhcp/src/
H A Dclient.c19 uint64_t hwaddr = make_mac(get_instance_name());
22 dprintf("%s: Started with MAC address: %s\n", get_instance_name(), pretty_mac);
25 dprintf("%s: Sending DHCPDISCOVER\n", get_instance_name());
30 dprintf("%s: Sending DHCPREQ of IP %s\n", get_instance_name(), pretty_ip);
40 dprintf("%s: Acquired IP %s\n", get_instance_name(), pretty_ip);
/seL4-camkes-master/projects/camkes/apps/testrefin/
H A Dclient.c16 printf("%s: calling p_echo(&x) with x = %d\n", get_instance_name(), x);
18 printf("%s: result was %d\n", get_instance_name(), result);
28 printf("%s: calling c_echo(&a, &b) with a = {%d..%d}\n", get_instance_name(),
31 printf("%s: result was b = {%d..%d}\n", get_instance_name(), b.data[0],
H A Dserver.c16 printf("%s: %s called with %d\n", get_instance_name(), __func__, *x);
23 printf("%s: %s called with {%d..%d}\n", get_instance_name(), __func__,
/seL4-camkes-master/projects/camkes/apps/testfaulthandlers/
H A Dclient.c20 get_instance_name());
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Listener/src/
H A Dlistener.c37 printf("%s: Connection established with %s on socket %d\n", get_instance_name(), ip_string, socket);
40 printf("%s: Received a message on socket %d, going to print it out\n", get_instance_name(), socket);
47 printf("%s: Connection closing on socket %d\n", get_instance_name(), socket);
50 printf("%s: Connection closed on socket %d\n", get_instance_name(), socket);
53 printf("%s: Error with socket %d, going to die\n", get_instance_name(), socket);
63 get_instance_name(), ip_addr, LISTENER_PORT);
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Echo/src/
H A Decho.c40 printf("%s: Connection established with %s on socket %d\n", get_instance_name(), ip_string, socket);
44 printf("%s: Received a message on socket %d, going to echo to Listener\n", get_instance_name(), socket);
53 printf("%s: Connection closing on socket %d\n", get_instance_name(), socket);
56 printf("%s: Connection closed on socket %d\n", get_instance_name(), socket);
59 printf("%s: Error with socket %d, going to die\n", get_instance_name(), socket);
69 get_instance_name(), ip_addr, ECHO_PORT);
/seL4-camkes-master/projects/camkes/apps/teststringarrays/
H A DB.c14 printf("%s: Received \"%s\"\n", get_instance_name(), s);
19 printf("%s: Received x_sz = %u, x = {", get_instance_name(), x_sz);
31 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
41 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
47 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
61 printf("%s: Received x_sz = %u, x = {", get_instance_name(), x_sz);
71 printf("%s: Received *y_sz = %u, *y = {", get_instance_name(), *y_sz);
85 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
H A DC.c17 printf("%s: Sending %s\n", get_instance_name(), s);
23 printf("%s: Received x_sz = %u, x = {", get_instance_name(), x_sz);
40 printf("%s: Sending *x_sz = %u, *x = {", get_instance_name(), *x_sz);
50 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
64 printf("%s: Sending *x_sz = %u, *x = {", get_instance_name(), *x_sz);
78 printf("%s: Received x_sz = %u, x = {", get_instance_name(), x_sz);
102 printf("%s: Sending *y_sz = %u, *y = {", get_instance_name(), *y_sz);
116 printf("%s: Received *x_sz = %u, *x = {", get_instance_name(), *x_sz);
/seL4-camkes-master/projects/camkes/apps/serialserver_interrupt/components/Client/src/
H A Dinterrupt-client.c27 printf("%s: Hello Serial Server!\n", get_instance_name());
41 printf("%s: %s\n", get_instance_name(), buf);
/seL4-camkes-master/projects/camkes/apps/serialserver_polling/components/Client/src/
H A Dpolling-client.c27 printf("%s: Hello Serial Server!\n", get_instance_name());
43 printf("%s: %s\n", get_instance_name(), buf);
/seL4-camkes-master/projects/camkes/apps/mutex/components/A/src/
H A Dmain.c12 const char *name = get_instance_name();
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/
H A Dadder.c13 const char *name = get_instance_name();
/seL4-camkes-master/projects/camkes/apps/dataport/components/DataportTest/src/
H A Dclient.c21 printf("%s read %s\n", get_instance_name(), (char*)DataIn);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dfault.c25 extern const char *get_instance_name(void);
117 "send", get_instance_name(), safe_name, thread_id,
125 unresolved, get_instance_name(), safe_name, thread_id,
135 "slot = 0x%"PRIxPTR"\n", unresolved, resolved, get_instance_name(),
147 get_instance_name(), safe_name, thread_id, (void*)pc, slot);
154 get_instance_name(), safe_name, thread_id, (void*)pc,
169 get_instance_name(), safe_name, thread_id, (void*)addr,
195 get_instance_name(), safe_name, thread_id, (void*)pc, (void*)sp,
202 "handler?\n", get_instance_name(), safe_name, thread_id);
/seL4-camkes-master/projects/camkes/apps/mcs-donate/components/Client/src/
H A Dclient.c19 printf("Starting the %s\n", get_instance_name());
41 printf("After the %s\n", get_instance_name());
/seL4-camkes-master/projects/camkes/apps/mcs-nodonate/components/Client/src/
H A Dclient.c19 printf("Starting the %s\n", get_instance_name());
41 printf("After the %s\n", get_instance_name());
/seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/src/
H A Dreceiver.c13 const char *name = get_instance_name();
/seL4-camkes-master/projects/camkes/apps/periodic/components/Client/src/
H A Dclient.c12 #define IPRINT(format, ...) printf("%s: " format, get_instance_name(), ##__VA_ARGS__);
/seL4-camkes-master/projects/camkes/apps/mutex/components/B/src/
H A Dmain.c23 const char *name = get_instance_name();

Completed in 90 milliseconds

12