| /seL4-camkes-master/projects/camkes/apps/vgatest/components/VGADriver/ |
| H A D | vgadriver.c | 93 void terminal_write(const char* data, size_t size) { argument
95 terminal_putchar(data[i]);
98 void terminal_writestring(const char* data) { argument
99 terminal_write(data, strlen(data));
|
| /seL4-camkes-master/projects/camkes/apps/uart_cogent/components/Client/src/ |
| H A D | client.c | 13 char *data = buf; local
16 uart_put_char(data[i]);
|
| /seL4-camkes-master/projects/camkes/apps/uart/components/Client/src/ |
| H A D | client.c | 13 char *data = buf; local
16 uart_put_char(data[i]);
|
| /seL4-camkes-master/projects/camkes/apps/testrefin/ |
| H A D | client.c | 23 for (unsigned int i = 0; i < sizeof(a.data) / sizeof(a.data[0]); i++) {
24 a.data[i] = (int)i;
29 a.data[0], a.data[sizeof(a.data) / sizeof(a.data[0]) - 1]);
31 printf("%s: result was b = {%d..%d}\n", get_instance_name(), b.data[0],
32 b.data[sizeof(b.data) / sizeo
[all...] |
| H A D | server.c | 24 x->data[0], x->data[sizeof(x->data) / sizeof(x->data[0]) - 1]);
|
| H A D | my_struct.h | 15 int data[100]; member in struct:__anon24
|
| /seL4-camkes-master/projects/camkes/apps/testdataportrpc/ |
| H A D | ctypes.h | 11 char data[100]; member in struct:__anon22
15 char data[8192]; member in struct:__anon23
|
| /seL4-camkes-master/projects/camkes/apps/terminal/components/Manager/src/ |
| H A D | display.c | 91 int domain1_put_char(int x, int y, char data) { argument
97 if (data == ESC) {
108 write_char(DOMAIN1_X + x, DOMAIN1_Y + y, data);
117 int domain2_put_char(int x, int y, char data) { argument
123 if (data == ESC) {
134 write_char(DOMAIN2_X + x, DOMAIN2_Y + y, data);
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Transport/src/ |
| H A D | transport.c | 24 printf("%s: Waiting for data...\n", name);
30 strcpy((char*)outgoing->data, (char*)incoming->data);
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Sender/src/ |
| H A D | sender.c | 24 strcpy((char*)sock->data, s);
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Transport/include/ |
| H A D | socket.h | 15 char data[100]; member in struct:__anon21
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Sender/include/ |
| H A D | socket.h | 15 char data[100]; member in struct:__anon20
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/src/ |
| H A D | receiver.c | 18 printf("%s: Waiting for data...\n", name);
23 printf("%s: Received \"%s\".\n", name, sock->data);
|
| /seL4-camkes-master/projects/camkes/apps/socket/components/Receiver/include/ |
| H A D | socket.h | 15 char data[100]; member in struct:__anon19
|
| /seL4-camkes-master/projects/camkes/apps/global_async/components/Sender/src/ |
| H A D | sender.c | 15 void create_random_string(char *data, int length) argument
19 data[i] = '0' + rand_value;
26 char *data_buffer = (char *)data;
|
| /seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/ |
| H A D | client_events.h | 7 void event_handler(void *data);
|
| H A D | client_events.c | 17 void event_handler(void *data) argument
19 char *data_buffer = (char *)data;
20 printf("Got an event : Incoming data is %s\n", data_buffer);
|
| H A D | client.c | 19 event_handler(data);
|
| /seL4-camkes-master/projects/camkes/apps/fdtgen/ |
| H A D | fdt_utils.c | 24 bool util_is_printable_string(const void *data, int len) argument
26 const char *s = data;
55 static void print_data(const char *data, int len) argument
58 const char *p = data;
64 if (util_is_printable_string(data, len)) {
65 printf(" = \"%s\"", (const char *)data);
|
| /seL4-camkes-master/projects/camkes/apps/dhcp/src/ |
| H A D | util.c | 13 uint64_t make_mac(const char *data) { argument
20 if (*data == '\0') {
23 x = (x << 8) | (uint64_t)(*data);
24 data++;
|
| H A D | util.h | 13 /* Generate a MAC-like address from some arbitrary string data. */
14 uint64_t make_mac(const char *data);
|
| /seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/ |
| H A D | client.c | 30 payload_t data; local
31 data.val = val;
35 /* First check if there is data still waiting in the send virtqueue
36 * We need to flush the virtqueue before sending data on it
48 memcpy(alloc_buffer, (void *)&data, sizeof(payload_t));
59 payload_t *data = (payload_t *)buffer; local
61 printf("Client %d recieved payload value: %d\n", client_id, data->val);
64 if (data->val == COUNT_LIMIT) {
69 send_payload_message(data->val + 1);
|
| /seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/ |
| H A D | adder.c | 11 void a_calculate(payload_t *data) argument
14 data->result = 0;
15 for (int i = 0; i < data->sz; i++) {
16 printf("%s: Adding %d\n", name, data->operands[i]);
17 data->result += data->operands[i];
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | vclock.c | 296 /* Initialise private data */
325 struct clock_data *data = &clock_data[clk_id]; local
327 assert(data);
328 assert(data->nregs);
329 for (i = 0; i < data->nregs; i++) {
332 mask = (uint32_t *)(clkd->mask[data->regs[i].bank] + data->regs[i].offset);
334 mask_val = ((1UL << data->regs[i].bits) - 1) << data->regs[i].shift;
|
| H A D | irq_combiner.c | 45 struct irq_group_data *data[32]; member in struct:combiner_data
82 cirq->priv = combiner->data[g][i].priv;
88 combiner->data[g][i].cb(cirq);
112 if (combiner->data[group] == NULL) {
121 combiner->data[group] = (struct irq_group_data *)addr;
127 combiner->data[group][idx].cb = cb;
128 combiner->data[group][idx].priv = priv;
161 uint32_t data; local
167 data = get_vcpu_fault_data(vcpu);
168 data
[all...] |