Searched refs:client_data (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | server.c | 361 static int serial_server_func_write(serial_server_registry_entry_t *client_data, argument 366 if (client_data == NULL || bytes_written == NULL) { 370 if (message_len > client_data->shmem_size) { 377 printf("%s", BADGE_TO_COLOR(client_data->badge_value)); 379 fwrite((void *)client_data->shmem, message_len, 1, stdout); 387 static void serial_server_func_disconnect(serial_server_registry_entry_t *client_data) argument 391 (void *)client_data->shmem, 392 BYTES_TO_4K_PAGES(client_data->shmem_size), 394 free(client_data->shmem_frame_caps); 395 serial_server_registry_remove(client_data 451 serial_server_registry_entry_t *client_data = NULL; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 343 uint8_t *client_data; local 346 client_data = wd->data; 348 status = uart_putchar(d, client_data[wd->bytes_transfered]);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | netif.h | 237 #define netif_get_client_data(netif, id) (netif)->client_data[(id)] 325 void* client_data[LWIP_NETIF_CLIENT_DATA_INDEX_MAX + LWIP_NUM_NETIF_CLIENT_DATA]; member in struct:netif
|
/seL4-camkes-master/projects/lwip/src/core/ |
H A D | netif.c | 330 memset(netif->client_data, 0, sizeof(netif->client_data)); 1282 * Allocate an index to store data in client_data member of struct netif.
|
Completed in 45 milliseconds