| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/ |
| H A D | sel4bench.h | 153 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
| H A D | sel4bench.h | 145 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | mouse.c | 30 struct mouse_event event; member in struct:usb_mouse_device
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/ |
| H A D | sel4bench.h | 145 uint32_t event = ((uint32_t)data) & ~(1U << 31); local
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_hotplug_detection.c | 46 static void initial_callbacks(struct pico_hotplug_device *hpdev, int event) argument
58 static void execute_callbacks(struct pico_hotplug_device *hpdev, int new_state, int event) argument
77 int new_state, event; local
125 pico_hotplug_register(struct pico_device *dev, void (*cb)(struct pico_device *dev, int event)) argument
180 pico_hotplug_deregister(struct pico_device *dev, void (*cb)(struct pico_device *dev, int event)) argument
[all...] |
| H A D | pico_dev_radio_mgr.c | 280 short event = 0; local
|
| H A D | pico_mcast.h | 19 uint8_t event; variable
|
| H A D | pico_slaacv4.c | 218 static void pico_slaacv4_hotplug_cb(__attribute__((unused)) struct pico_device *dev, int event) argument
|
| H A D | pico_mld.h | 93 uint8_t event; member in struct:mld_parameters
|
| H A D | pico_dhcp_client.c | 79 uint8_t event; member in struct:pico_dhcp_client_cookie
821 pico_dhcp_state_machine(uint8_t event, struct pico_dhcp_client_cookie *dhcpc, uint8_t *buf) argument
[all...] |
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/x86/sel4bench/arch/ |
| H A D | sel4bench.h | 181 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
|
| H A D | private.h | 83 uint16_t event; member in struct:__anon545::__anon546
311 static FASTFN seL4_Word sel4bench_private_lookup_event(event_id_t event) argument
[all...] |
| /seL4-camkes-master/tools/riscv-pk/machine/ |
| H A D | mtrap.c | 61 static void send_ipi(uintptr_t recipient, int event) argument
102 static void send_ipi_many(uintptr_t* pmask, int event) argument
|
| /seL4-camkes-master/projects/picotcp/test/unit/ |
| H A D | modunit_pico_hotplug_detection.c | 37 void cb_one(struct pico_device *dev, int event) argument
46 void cb_two(struct pico_device *dev, int event) argument
|
| H A D | modunit_pico_sntp_client.c | 242 uint16_t event = PICO_SOCK_EV_ERR; local
|
| H A D | modunit_pico_dev_ppp.c | 35 static void modem_state(struct pico_device_ppp *ppp, enum ppp_modem_event event) argument
41 static void lcp_state(struct pico_device_ppp *ppp, enum ppp_lcp_event event) argument
47 static void auth_state(struct pico_device_ppp *ppp, enum ppp_auth_event event) argument
53 static void ipcp_state(struct pico_device_ppp *ppp, enum ppp_ipcp_event event) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/riscv/sel4bench/arch/ |
| H A D | sel4bench.h | 143 static FASTFN void sel4bench_set_count_event(counter_t counter, event_id_t event) argument
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | picoserver_client.c | 240 int client_put_event(seL4_Word client_id, int socket_id, uint16_t event) argument
|
| H A D | server.c | 402 picoserver_event_t event = {0}; local
|
| /seL4-camkes-master/projects/picotcp/test/examples/ |
| H A D | tftp.c | 120 int cb_tftp_tx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
156 int cb_tftp_tx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
174 int cb_tftp_rx(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
211 cb_tftp_rx_opt(struct pico_tftp_session *session, uint16_t event, uint8_t *block, int32_t len, void *arg) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | ltimer.c | 113 ltimer_event_t event = LTIMER_TIMEOUT_EVENT; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | ltimer.c | 102 ltimer_event_t event; local
|
| /seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
| H A D | busdev_user.c | 321 process_watch_event(struct rumpxenbus_data_common *dc, struct xenbus_event *event, argument
460 process_event(struct rumpxenbus_data_common *dc, struct xenbus_event *event, argument
514 struct xenbus_event *event = STAILQ_FIRST(&du->replies.events); local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | timer.c | 139 uint32_t event[3]; /* +0x78 */ member in struct:ttc_tmr_regs
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ |
| H A D | xenbus.c | 84 struct xenbus_event *event; local
105 struct xenbus_event *event; local
139 struct xenbus_event *event; local
95 queue_event(struct xenbus_event_queue *queue, struct xenbus_event *event) argument
283 struct xenbus_event *event local
543 struct xenbus_event *event = await_event(&queue); local
[all...] |