Searched refs:write_data (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/ |
| H A D | bga.c | 35 static void write_data(bga_p device, uint16_t index, uint16_t data) function
55 write_data(device, INDEX_ENABLED, data_disable);
64 write_data(device, INDEX_ENABLED, data_enable | lfb);
110 write_data(device, x_resolution, width);
112 write_data(device, y_resolution, height);
114 write_data(device, bits_per_pixel, bpp);
|
| /seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
| H A D | client.c | 21 void write_output(char *write_data, size_t write_data_size) argument
23 if (camkes_virtqueue_driver_scatter_send_buffer(&write_virtqueue, write_data, write_data_size)) {
|
Completed in 76 milliseconds