/seL4-camkes-master/kernel/manual/parts/ |
H A D | ipc.tex | |
/seL4-camkes-master/projects/seL4_libs/libsel4sync/include/sync/ |
H A D | sem-bare.h | 31 static inline int sync_sem_bare_wait(seL4_CPtr ep, volatile int *value) argument 67 static inline int sync_sem_bare_trywait(UNUSED seL4_CPtr ep, volatile int *value) argument 82 static inline int sync_sem_bare_post(seL4_CPtr ep, volatile int *value) argument [all...] |
H A D | sem.h | 27 vka_object_t ep; member in struct:__anon35 36 static inline int sync_sem_init(sync_sem_t *sem, seL4_CPtr ep, int value) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | otg.c | 56 otg_prime(usb_otg_t otg, int ep, enum usb_xact_type dir, argument
|
H A D | usb.c | 523 struct endpoint *ep; local 962 usbdev_schedule_xact(usb_dev_t *udev, struct endpoint *ep, struct xact *xact, int nxact, usb_cb_t cb, void *token) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 21 seL4_CPtr ep; member in struct:__anon565 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/ |
H A D | capdl-manipulation.py | 23 ep = capdl.Endpoint('my_ep') variable
|
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
H A D | ipc.c | 46 seL4_CPtr ep; local 61 seL4_CPtr ep; local 85 seL4_CPtr ep; local [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ehci/ |
H A D | hcd.c | 94 ehci_schedule_xact(usb_host_t *hdev, uint8_t addr, int8_t hub_addr, uint8_t hub_port, enum usb_speed speed, struct endpoint *ep, struct xact *xact, int nxact, usb_cb_t cb, void *t) argument 240 ehci_cancel_xact(usb_host_t *hdev, struct endpoint *ep) argument [all...] |
H A D | async.c | 70 qtd_alloc(struct ehci_host *edev, enum usb_speed speed, struct endpoint *ep, argument 237 qhn_alloc(struct ehci_host *edev, uint8_t address, uint8_t hub_addr, uint8_t hub_port, enum usb_speed speed, struct endpoint *ep) argument 321 qhn_update(struct QHn *qhn, uint8_t address, struct endpoint *ep) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | usb_host.h | 174 usb_hcd_schedule(usb_host_t* hdev, uint8_t addr, uint8_t hub_addr, uint8_t hub_port, enum usb_speed speed, struct endpoint *ep, struct xact* xact, int nxact, usb_cb_t cb, void* t) argument
|
H A D | usb.h | 97 struct endpoint *ep[USB_MAX_EPS]; // Data endpoints of the device member in struct:usb_dev
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | storage.c | 312 struct endpoint *ep; local [all...] |
H A D | lan9730.c | 283 static inline struct usbreq __clear_ep_feature_req(uint16_t ep, uint16_t feature) argument 295 static inline struct usbreq __clear_remote_wakeup(uint16_t ep) argument 300 static inline struct usbreq __clear_epstall(uint16_t ep) argument 306 static inline struct usbreq __get_status_req(uint16_t ep) argument [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | pcifront.c | 284 char *ep; local [all...] |
H A D | netfront.c | 410 char *ep; local
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | mcs_api.h | 33 static inline seL4_MessageInfo_t api_wait(seL4_CPtr ep, seL4_Word *badge) argument 42 static inline seL4_MessageInfo_t api_recv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument 51 static inline seL4_MessageInfo_t api_nbrecv(seL4_CPtr ep, seL4_Word *badge, UNUSED seL4_CPtr reply) argument 69 static inline seL4_MessageInfo_t api_reply_recv(seL4_CPtr ep, seL4_MessageInfo_ argument 102 api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep, UNUSED seL4_CPtr sc, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap) argument 125 api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, seL4_Word mcp, UNUSED seL4_CPtr sc, UNUSED seL4_CPtr ep) argument 136 api_tcb_set_space(seL4_CPtr tcb, seL4_CPtr ep, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata) argument [all...] |
/seL4-camkes-master/kernel/src/machine/ |
H A D | capdl.c | 203 void cap_ep_print_attrs(cap_t ep) argument
|
/seL4-camkes-master/kernel/src/object/ |
H A D | objecttype.c | 778 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument 787 exception_t performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
|
H A D | cnode.c | 329 endpoint_t *ep = (endpoint_t *) local
|
/seL4-camkes-master/tools/rumprun/platform/sel4/include/sel4/rumprun/ |
H A D | custom_simple.h | 41 seL4_CPtr ep; member in struct:serial_config
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 127 seL4_CPtr ep; local
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vusb.c | 220 struct endpoint ep; local 346 struct endpoint ep; local 400 struct endpoint ep; local [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_olsr.c | 577 static void olsr_compose_tc_dgram(struct pico_device *pdev, struct pico_ipv4_link *ep) argument 646 static void olsr_compose_hello_dgram(struct pico_device *pdev, struct pico_ipv4_link *ep) argument 693 struct pico_ipv4_link *ep; local [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | otg-imx6.c | 191 int ep; member in struct:otg_ep 204 struct otg_ep* ep; member in struct:ehci_otg 356 dump_ep(struct otg_ep* ep) argument 448 flush_ep(usb_otg_t otg, struct otg_ep* ep) argument 474 struct otg_ep* ep; local 584 otg_handle_setup(usb_otg_t otg, struct otg_ep* ep) argument 621 otg_handle_complete(usb_otg_t otg, struct otg_ep* ep) argument 660 struct otg_ep* ep = odev->ep + ((e & 0xf) * 2); local 729 struct otg_ep* ep; local [all...] |