/seL4-camkes-master/projects/camkes/apps/lockserver/src/ |
H A D | client.c | 11 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 D | receiver.c | 16 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 D | generator.c | 11 printf("%s: Calling Receiver...\n", get_instance_name());
|
/seL4-camkes-master/projects/camkes/apps/testnto1mmio/ |
H A D | driver1.c | 12 uart_put(get_instance_name());
|
H A D | driver2.c | 12 uart_put(get_instance_name());
|
/seL4-camkes-master/projects/camkes/apps/testbufvariant/ |
H A D | client.c | 15 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 D | client.c | 19 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 D | client.c | 16 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 D | server.c | 16 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 D | client.c | 20 get_instance_name());
|
/seL4-camkes-master/projects/camkes/apps/picoserver/components/Listener/src/ |
H A D | listener.c | 37 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 D | echo.c | 40 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 D | B.c | 14 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 D | C.c | 17 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 D | interrupt-client.c | 27 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 D | polling-client.c | 27 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 D | main.c | 12 const char *name = get_instance_name();
|
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/ |
H A D | adder.c | 13 const char *name = get_instance_name();
|
/seL4-camkes-master/projects/camkes/apps/dataport/components/DataportTest/src/ |
H A D | client.c | 21 printf("%s read %s\n", get_instance_name(), (char*)DataIn);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | fault.c | 25 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 D | client.c | 19 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 D | client.c | 19 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 D | receiver.c | 13 const char *name = get_instance_name();
|
/seL4-camkes-master/projects/camkes/apps/periodic/components/Client/src/ |
H A D | client.c | 12 #define IPRINT(format, ...) printf("%s: " format, get_instance_name(), ##__VA_ARGS__);
|
/seL4-camkes-master/projects/camkes/apps/mutex/components/B/src/ |
H A D | main.c | 23 const char *name = get_instance_name();
|