Searched refs:rpc_dspace_fd (Results 1 - 20 of 20) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Dscreen_dspace.h24 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 Dstdio_dspace.h26 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 Ddspace.c50 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 Dscreen_dspace.c46 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 Dstdio_dspace.c40 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 Dscreen_dspace.h24 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 Dstdio_dspace.h26 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 Ddspace.c50 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 Dscreen_dspace.c46 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 Dstdio_dspace.c40 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 Dtimer_dspace.h30 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 Ddspace.c44 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 Dtimer_dspace.c41 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 Dtimer_dspace.h30 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 Ddspace.c44 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 Dtimer_dspace.c41 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 Ddata_syscall.c81 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 Ddata_syscall.c81 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 Dcpio_dspace.c133 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 Dcpio_dspace.c133 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...]

Completed in 164 milliseconds