/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | name_syscall.h | 33 int rpc_sv_name_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | proc_syscall.h | 28 int rpc_sv_proc_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | data_syscall.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | name_syscall.h | 33 int rpc_sv_name_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | proc_syscall.h | 28 int rpc_sv_proc_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | data_syscall.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.h | 23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.h | 23 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | serv_dispatch.h | 30 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.h | 23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.h | 23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | cpio_dspace.h | 23 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
H A D | serv_dispatch.h | 30 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.h | 23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/design/ |
H A D | protocol.tex | 27 R [ label ="Name Server"], 28 S [ label = "Data Server"]; 30 S box S [ label = "create badged endpoint capability dataserv\_anon\_C"]; 32 S => R [ label = "nameserv\_session\_C.register(\"server\_name\", dataserv\_anon\_C)"]; 33 R box R [ label = "handle request, register under given name"]; 34 R >> S [ label = "ErrorCode"]; 39 \label{f:servreg} 53 R [ label ="Process Server"], 54 F [ label = "File Server"], 55 C [ label [all...] |
H A D | appendix.tex | 21 R [ label ="Root Server"], 22 C [ label = "Client"]; 24 C => R [ label = "rootserver\_clientid\_cap.mk\_map\_window(vaddr, size)"]; 25 R >> C [ label = "Reply(SUCCESS, win\_cap)"]; 26 C => R [ label = "rootserver\_clientid\_cap.file\_map(\"zero\_fill\", win\_cap)"]; 27 R box R [ label = "validate request and allocate win\_id"]; 28 R >> C [ label = "Reply(SUCCESS)"]; 29 C box C [ label = "touch anywhere in window"]; 30 C => R [ label = "rootserver\_clientid\_cap.pagefault(vaddr)"]; 31 R box R [ label [all...] |
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | proc_common.h | 38 seL4_Word label; member in struct:proc_notification
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/time_server/ |
H A D | client.h | 39 * @param label the label to use in timer RPC messages, so they can be identified on the server side. 43 seL4_CPtr ep, seL4_Word label);
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | proc_common.h | 38 seL4_Word label; member in struct:proc_notification
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/ |
H A D | client.h | 39 * @param label the label to use in timer RPC messages, so they can be identified on the server side. 43 seL4_CPtr ep, seL4_Word label);
|
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/ |
H A D | dspace.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/ |
H A D | dspace.h | 24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
|
/seL4-refos-master/libs/libsel4utils/src/time_server/ |
H A D | client.c | 22 seL4_Word label; member in struct:__anon643 28 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1); 38 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS); 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument 58 client_ltimer->label = label;
|