Searched refs:client_data (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-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-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | serial_server.c | 355 client_test_data_t *client_data; local
370 client_data = (client_test_data_t *)&used_pages_list[n_used_pages + 1];
373 error = setup_client_process_allocman_vka_and_vspace(client_data->ut_512k_cspath.capPtr,
375 client_data->ut_512k_cspath.capPtr + 0x8,
384 client_data = &client_globals.client_test_data[thread_num];
388 return test_fn(client_data, vka, vspace);
|
| H A D | faults.c | 963 seL4_Word client_data = 1; local
979 set_helper_sched_params(env, &client, 0.1 * US_IN_S, US_IN_S, client_data);
986 client_data, env);
1012 seL4_Word client_data = 1; local
1039 0.1 * US_IN_S, 0.5 * US_IN_S, 0, client_data);
1049 proxy_server_ep, client_data, env);
1055 client_proxy_ep, client_data, env);
|
| /seL4-test-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]);
|
Completed in 43 milliseconds