Searched defs:endpoint (Results 1 - 7 of 7) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | main.c | 30 seL4_CPtr endpoint = (seL4_CPtr) atoi(sel4runtime_argv()[1]); local
|
H A D | simple.c | 152 receive_init_data(seL4_CPtr endpoint) argument 215 void simple_init_rumprun(custom_simple_t *custom_simple, seL4_CPtr endpoint) argument
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb_host.h | 50 struct endpoint { struct
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 292 fault_handler(char *name, seL4_CPtr endpoint) argument
|
/seL4-camkes-master/projects/lwip/src/include/netif/ppp/ |
H A D | lcp.h | 157 struct epdisc endpoint; /* endpoint discriminator */ member in struct:lcp_options
|
/seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/ |
H A D | test.h | 59 seL4_CPtr endpoint; member in struct:env
|
Completed in 106 milliseconds