| /seL4-refos-master/apps/console_server/src/ |
| H A D | ega_vterm.c | 108 vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer) argument
149 vterm_write(vterm_state_t *s, char *buffer, int len) argument
|
| H A D | ega_vterm.h | 44 volatile uint16_t *buffer; /* No ownership */ member in struct:vterm_state
[all...] |
| /seL4-refos-master/apps/snake/src/ |
| H A D | snake.c | 49 char buffer[NUM_ROWS][NUM_COLS]; variable
[all...] |
| /seL4-refos-master/libs/libdatastruct/src/ |
| H A D | cbpool.c | 20 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize) { argument
|
| /seL4-refos-master/libs/librefos/src/refos-rpc/ |
| H A D | rpc.c | 311 rpc_buffer_t buffer; local
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | cspace.c | 41 csalloc_init_static(seL4_CPtr start, seL4_CPtr end, char* buffer, uint32_t bufferSz) argument
|
| /seL4-refos-master/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | backtrace.c | 38 int backtrace(void **buffer, int size) argument
|
| /seL4-refos-master/libs/libvterm/src/ |
| H A D | screen.c | 59 ScreenCell *buffer; member in struct:VTermScreen
73 static ScreenCell *realloc_buffer(VTermScreen *screen, ScreenCell *buffer, int new_rows, int new_cols) argument
598 _get_chars(VTermScreen *screen, const int utf8, void *buffer, size_t len, const VTermRect rect) argument
[all...] |
| H A D | vterm.c | 174 size_t vterm_output_bufferread(VTerm *vt, char *buffer, size_t len) argument
|
| /seL4-refos-master/projects/refos/design/ |
| H A D | appendix.tex | |
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | ega_vterm.c | 108 vterm_init(vterm_state_t *s, int width, int height, volatile uint16_t *buffer) argument
149 vterm_write(vterm_state_t *s, char *buffer, int len) argument
|
| H A D | ega_vterm.h | 44 volatile uint16_t *buffer; /* No ownership */ member in struct:vterm_state
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/snake/src/ |
| H A D | snake.c | 49 char buffer[NUM_ROWS][NUM_COLS]; variable
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
| H A D | cbpool.c | 20 void cbpool_init_static(cbpool_t *p, uint32_t size, char *buffer, int bufferSize) { argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
| H A D | rpc.c | 311 rpc_buffer_t buffer; local
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | cspace.c | 41 csalloc_init_static(seL4_CPtr start, seL4_CPtr end, char* buffer, uint32_t bufferSz) argument
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
| H A D | filetable.c | 262 filetable_internal_read_write(fd_table_t *fdt, int fd, char *buffer, int bufferLen, bool read) argument
|
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | screen.c | 59 ScreenCell *buffer; member in struct:VTermScreen
73 static ScreenCell *realloc_buffer(VTermScreen *screen, ScreenCell *buffer, int new_rows, int new_cols) argument
598 _get_chars(VTermScreen *screen, const int utf8, void *buffer, size_t len, const VTermRect rect) argument
[all...] |
| H A D | vterm.c | 174 size_t vterm_output_bufferread(VTerm *vt, char *buffer, size_t len) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4bench/include/sel4bench/ |
| H A D | logging.h | 25 seL4_Word *buffer; member in struct:log_buffer
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | backtrace.c | 38 int backtrace(void **buffer, int size) argument
|
| /seL4-refos-master/kernel/include/32/mode/api/ |
| H A D | ipc_buffer.h | 13 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument
18 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
| /seL4-refos-master/kernel/include/64/mode/api/ |
| H A D | ipc_buffer.h | 12 static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) argument
17 static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) argument
|
| /seL4-refos-master/kernel/include/arch/arm/arch/object/ |
| H A D | iospace.h | 34 decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
40 decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
|