/seL4-refos-master/kernel/manual/parts/ |
H A D | intro.tex | |
H A D | ipc.tex | [all...] |
H A D | notifications.tex | |
H A D | objects.tex | [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/projects/refos/design/ |
H A D | paper.tex | |
/seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
H A D | console_server.c | 71 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | main.c | 72 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
H A D | timer_server.c | 62 int label = seL4_GetMR(0); local
|
/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/apps/console_server/src/ |
H A D | console_server.c | 71 int label = seL4_GetMR(0); local
|
/seL4-refos-master/apps/process_server/src/ |
H A D | main.c | 72 int label = seL4_GetMR(0); local
|
/seL4-refos-master/apps/timer_server/src/ |
H A D | timer_server.c | 62 int label = seL4_GetMR(0); local
|
/seL4-refos-master/libs/libsel4utils/src/time_server/ |
H A D | client.c | 22 seL4_Word label; member in struct:__anon643 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument
|
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.c | 70 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.c | 67 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
H A D | file_server.c | 82 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.c | 70 int label = seL4_GetMR(0); local
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 22 seL4_Word label; member in struct:__anon809 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | serv_dispatch.c | 70 int label = seL4_GetMR(0); local
|
/seL4-refos-master/apps/file_server/src/dispatchers/ |
H A D | serv_dispatch.c | 67 int label = seL4_GetMR(0); local
|
/seL4-refos-master/apps/file_server/src/ |
H A D | file_server.c | 82 int label = seL4_GetMR(0); local
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | serv_dispatch.c | 70 int label = seL4_GetMR(0); local
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | fmtmsg.c | 24 int fmtmsg(long classification, const char *label, int severity, argument
|
/seL4-refos-master/kernel/src/object/ |
H A D | schedcontrol.c | 159 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, argument
|