/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | screen_dspace.h | 24 int screen_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 28 int screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block); 31 refos_err_t screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
H A D | stdio_dspace.h | 26 int serial_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 30 int serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block); 33 refos_err_t serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
H A D | dspace.c | 50 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 62 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 67 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN) { 75 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 87 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 92 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN) { 100 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 112 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 113 return serial_write_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 117 if (rpc_dspace_fd 188 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 225 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
H A D | screen_dspace.c | 46 screen_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 49 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN); 59 screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 61 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block); 65 screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) 67 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN);
|
H A D | stdio_dspace.c | 40 serial_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 43 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO); 51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 55 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO || 56 rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN); 77 serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) 79 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO);
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | screen_dspace.h | 24 int screen_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 28 int screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block); 31 refos_err_t screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
H A D | stdio_dspace.h | 26 int serial_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 30 int serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block); 33 refos_err_t serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c);
|
H A D | dspace.c | 50 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 62 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 67 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN) { 75 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 87 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 92 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN) { 100 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 112 if (rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO) { 113 return serial_write_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 117 if (rpc_dspace_fd 188 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 225 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
H A D | screen_dspace.c | 46 screen_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 49 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN); 59 screen_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 61 return serial_getc_handler(rpc_userptr, rpc_dspace_fd, rpc_block); 65 screen_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) 67 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN);
|
H A D | stdio_dspace.c | 40 serial_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 43 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO); 51 serial_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 55 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO || 56 rpc_dspace_fd == CONSERV_DSPACE_BADGE_SCREEN); 77 serial_putc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_c) 79 assert(rpc_dspace_fd == CONSERV_DSPACE_BADGE_STDIO);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
H A D | timer_dspace.h | 30 int timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 38 int timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
H A D | dspace.c | 44 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 55 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 63 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 75 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 76 return timer_read_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 83 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 95 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 96 return timer_write_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 103 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_ 128 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 165 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
H A D | timer_dspace.c | 41 timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 46 assert(rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER); 64 timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 76 assert(rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
H A D | timer_dspace.h | 30 int timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 38 int timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset ,
|
H A D | dspace.c | 44 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 55 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 63 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 75 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 76 return timer_read_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 83 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 95 if (rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER) { 96 return timer_write_handler(rpc_userptr, rpc_dspace_fd, rpc_offset, rpc_buf, rpc_count); 103 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 109 data_expand_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_ 128 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 165 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
H A D | timer_dspace.c | 41 timer_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 46 assert(rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER); 64 timer_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 76 assert(rpc_dspace_fd == TIMESERV_DSPACE_BADGE_TIMER);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 81 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 93 if (!dispatcher_badge_dspace(rpc_dspace_fd)) { 97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd); 121 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 124 (void) rpc_dspace_fd; 129 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , 133 (void) rpc_dspace_fd; 140 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 152 if (!dispatcher_badge_dspace(rpc_dspace_fd)) { 156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd); 343 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 81 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 93 if (!dispatcher_badge_dspace(rpc_dspace_fd)) { 97 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd); 121 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 124 (void) rpc_dspace_fd; 129 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , 133 (void) rpc_dspace_fd; 140 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 152 if (!dispatcher_badge_dspace(rpc_dspace_fd)) { 156 struct ram_dspace *dspace = ram_dspace_get_badge(&procServ.dspaceList, rpc_dspace_fd); 343 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.c | 133 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 146 if (!dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd)) { 151 dprintf("Closing dataspace ID %d...\n", rpc_dspace_fd- FS_DSPACE_BADGE_BASE); 153 dspace_delete(&fileServ.dspaceTable, rpc_dspace_fd - FS_DSPACE_BADGE_BASE); 158 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 172 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd); 189 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 203 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd); 235 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 242 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_ 249 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 427 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.c | 133 data_close_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 146 if (!dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd)) { 151 dprintf("Closing dataspace ID %d...\n", rpc_dspace_fd- FS_DSPACE_BADGE_BASE); 153 dspace_delete(&fileServ.dspaceTable, rpc_dspace_fd - FS_DSPACE_BADGE_BASE); 158 data_read_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 172 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd); 189 data_write_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , uint32_t rpc_offset , 203 struct fs_dataspace* dspace = dspace_get_badge(&fileServ.dspaceTable, rpc_dspace_fd); 235 data_getc_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , int rpc_block) 242 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_ 249 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument 427 data_unhave_data_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) argument [all...] |