Searched refs:label (Results 1 - 25 of 117) sorted by relevance

12345

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dname_syscall.h33 int rpc_sv_name_dispatcher(void *rpc_userptr, uint32_t label);
H A Dproc_syscall.h28 int rpc_sv_proc_dispatcher(void *rpc_userptr, uint32_t label);
H A Ddata_syscall.h24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dname_syscall.h33 int rpc_sv_name_dispatcher(void *rpc_userptr, uint32_t label);
H A Dproc_syscall.h28 int rpc_sv_proc_dispatcher(void *rpc_userptr, uint32_t label);
H A Ddata_syscall.h24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Dserv_dispatch.h23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.h23 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
H A Dserv_dispatch.h30 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Dserv_dispatch.h23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dserv_dispatch.h23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.h23 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
H A Dserv_dispatch.h30 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Dserv_dispatch.h23 int rpc_sv_serv_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex27 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 Dappendix.tex21 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 Dproc_common.h38 seL4_Word label; member in struct:proc_notification
/seL4-refos-master/libs/libsel4utils/include/sel4utils/time_server/
H A Dclient.h39 * @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 Ddspace.h24 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 Ddspace.h24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_common.h38 seL4_Word label; member in struct:proc_notification
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/
H A Dclient.h39 * @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 Ddspace.h24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.h24 int rpc_sv_data_dispatcher(void *rpc_userptr, uint32_t label);
/seL4-refos-master/libs/libsel4utils/src/time_server/
H A Dclient.c22 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;

Completed in 126 milliseconds

12345