| /seL4-refos-master/libs/libvterm/src/ |
| H A D | vterm_internal.h | 14 char data[4*sizeof(uint32_t)]; member in struct:__anon671
|
| H A D | state.c | 417 static void mousefunc(int col, int row, int button, int pressed, int modifiers, void *data) argument
|
| H A D | screen.c | 475 static int setmousefunc(VTermMouseFunc func, void *data, void *user) argument
|
| H A D | encoding.c | 22 struct UTF8DecoderData *data = data_;
local
32 struct UTF8DecoderData *data = data_;
local
154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | vterm_internal.h | 14 char data[4*sizeof(uint32_t)]; member in struct:__anon773
|
| H A D | state.c | 417 static void mousefunc(int col, int row, int button, int pressed, int modifiers, void *data) argument
|
| H A D | screen.c | 475 static int setmousefunc(VTermMouseFunc func, void *data, void *user) argument
|
| H A D | encoding.c | 22 struct UTF8DecoderData *data = data_;
local
32 struct UTF8DecoderData *data = data_;
local
154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
[all...] |
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 39 sys_platform_stdout_write(void *data, size_t count) argument
78 sys_platform_stdin_read(void *data, size_t count) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | sys_io.c | 39 sys_platform_stdout_write(void *data, size_t count) argument
78 sys_platform_stdin_read(void *data, size_t count) argument
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | stdio.c | 25 refos_seL4_debug_override_writev(void *data, size_t count) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | stdio.c | 25 refos_seL4_debug_override_writev(void *data, size_t count) argument
|
| /seL4-refos-master/libs/librefos/include/refos-rpc/ |
| H A D | rpc.h | 247 void *data; member in struct:rpc_buffer_s
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
| H A D | rpc.h | 247 void *data; member in struct:rpc_buffer_s
|
| /seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
| H A D | cvector.h | 30 cvector_item_t* data; member in struct:cvector_s
|
| H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
| /seL4-refos-master/libs/libdatastruct/include/data_struct/ |
| H A D | cvector.h | 30 cvector_item_t* data; member in struct:cvector_s
|
| H A D | cqueue.h | 23 cqueue_item_t* data; member in struct:cqueue_s
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
| H A D | test_user.c | 270 int data = ((i << 2) * 0xcafebabe) ^ 0xdeadbeef; local
|
| /seL4-refos-master/apps/test_user/src/ |
| H A D | test_user.c | 270 int data = ((i << 2) * 0xcafebabe) ^ 0xdeadbeef; local
|
| /seL4-refos-master/projects/refos/impl/apps/selfloader/src/ |
| H A D | selfloader.c | 348 static uintptr_t stack_copy_args(uintptr_t stack_top, int data_len, char *data[], uintptr_t *dest_data) { argument
|
| /seL4-refos-master/apps/selfloader/src/ |
| H A D | selfloader.c | 348 static uintptr_t stack_copy_args(uintptr_t stack_top, int data_len, char *data[], uintptr_t *dest_data) { argument
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test.c | 104 int data = ((i << 2) * 0xcafebabe) ^ 0xdeadbeef; local
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test.c | 104 int data = ((i << 2) * 0xcafebabe) ^ 0xdeadbeef; local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, argument
142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument
|