Searched defs:endpoint (Results 1 - 12 of 12) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | dispatcher.h | 52 dispatcher_notify(seL4_CPtr endpoint) argument
|
H A D | proc_syscall.c | 56 vka_object_t endpoint; local [all...] |
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | dispatcher.h | 52 dispatcher_notify(seL4_CPtr endpoint) argument
|
H A D | proc_syscall.c | 56 vka_object_t endpoint; local [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 64 vka_object_t endpoint; member in struct:procserv_state
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 64 vka_object_t endpoint; member in struct:procserv_state
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | window.c | 215 w_set_pager_endpoint(struct w_window *window, cspacepath_t endpoint, uint32_t pid) argument
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | window.c | 215 w_set_pager_endpoint(struct w_window *window, cspacepath_t endpoint, uint32_t pid) argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | thread.c | 292 fault_handler(char *name, seL4_CPtr endpoint) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 292 fault_handler(char *name, seL4_CPtr endpoint) argument
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | thread.c | 107 void doIPCTransfer(tcb_t *sender, endpoint_t *endpoint, word_t badge, argument 189 void doNormalTransfer(tcb_t *sender, word_t *sendBuffer, endpoint_t *endpoint, argument 235 transferCaps(seL4_MessageInfo_t info, extra_caps_t caps, endpoint_t *endpoint, tcb_t *receiver, word_t *receiveBuffer) argument
|
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 59 seL4_CPtr endpoint; member in struct:env
|
Completed in 89 milliseconds