/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_cleanup_push.c | 3 static void dummy(struct __ptcb *cb) argument 9 void _pthread_cleanup_push(struct __ptcb *cb, void (*f)(void *), void *x) argument 11 cb->__f = f; 12 cb->__x = x; 13 __do_cleanup_push(cb); 16 void _pthread_cleanup_pop(struct __ptcb *cb, int run) argument 18 __do_cleanup_pop(cb); 19 if (run) cb->__f(cb->__x);
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | circular_buffer.h | 40 static inline off_t _next_pos(circ_buf_t *cb, off_t pos) argument 42 return (pos + 1) % cb->size; 50 * @param[in] cb Circular buffer structure allocated by the user. 54 static inline int circ_buf_init(size_t size, circ_buf_t *cb) { argument 55 if (size == 0 || !cb) { 60 cb->head = 0; 61 cb->tail = 0; 62 cb->size = size; 70 * @param cb Circular buffer to check 74 static inline bool circ_buf_is_full(circ_buf_t *cb) { argument 85 circ_buf_is_empty(circ_buf_t *cb) argument 95 circ_buf_put(circ_buf_t *cb, uint8_t c) argument 107 circ_buf_get(circ_buf_t *cb) argument [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_hotplug_detection.h | 19 int pico_hotplug_register(struct pico_device *dev, void (*cb)(struct pico_device *dev, int event)); 20 int pico_hotplug_deregister(struct pico_device *dev, void (*cb)(struct pico_device *dev, int event));
|
H A D | pico_slaacv4.h | 14 int pico_slaacv4_claimip(struct pico_device *dev, void (*cb)(struct pico_ip4 *ip, uint8_t code));
|
H A D | pico_hotplug_detection.c | 49 void (*cb)(struct pico_device *dev, int event); 52 cb = cb_node->keyValue; 53 cb(hpdev->dev, event); 54 pico_tree_delete(&hpdev->init_callbacks, cb); 61 void (*cb)(struct pico_device *dev, int event); 67 cb = cb_node->keyValue; 68 cb(hpdev->dev, event); 125 int pico_hotplug_register(struct pico_device *dev, void (*cb)(struct pico_device *dev, int event)) 161 if (pico_tree_insert(&(hotplug_dev->callbacks), cb) == &LEAF) { 166 if (pico_tree_insert(&(hotplug_dev->init_callbacks), cb) [all...] |
H A D | pico_slaacv4.c | 56 void (*cb)(struct pico_ip4 *ip, uint8_t code); member in struct:slaacv4_cookie 79 static void pico_slaacv4_init_cookie(struct pico_ip4 *ip, struct pico_device *dev, struct slaacv4_cookie *ck, void (*cb)(struct pico_ip4 *ip, uint8_t code)) 85 ck->cb = cb; 115 if (tmp->cb != NULL) 116 tmp->cb(&tmp->ip, PICO_SLAACV4_ERROR); 123 if (tmp->cb != NULL) 124 tmp->cb(&tmp->ip, PICO_SLAACV4_SUCCESS); 141 if (tmp->cb != NULL) 142 tmp->cb( [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | finisher.c | 50 struct fdt_cb cb; local 53 memset(&cb, 0, sizeof(cb)); 54 cb.open = finisher_open; 55 cb.prop = finisher_prop; 56 cb.done = finisher_done; 57 cb.extra = &scan; 59 fdt_scan(fdt, &cb);
|
H A D | uart.c | 68 struct fdt_cb cb; local 71 memset(&cb, 0, sizeof(cb)); 72 cb.open = uart_open; 73 cb.prop = uart_prop; 74 cb.done = uart_done; 75 cb.extra = &scan; 77 fdt_scan(fdt, &cb);
|
H A D | uart16550.c | 66 struct fdt_cb cb; local 69 memset(&cb, 0, sizeof(cb)); 70 cb.open = uart16550_open; 71 cb.prop = uart16550_prop; 72 cb.done = uart16550_done; 73 cb.extra = &scan; 75 fdt_scan(fdt, &cb);
|
H A D | uart16750.c | 73 struct fdt_cb cb; local 76 memset(&cb, 0, sizeof(cb)); 77 cb.open = uart16750_open; 78 cb.prop = uart16750_prop; 79 cb.done = uart16750_done; 80 cb.extra = &scan; 82 fdt_scan(fdt, &cb);
|
H A D | fdt.c | 34 const struct fdt_cb *cb) 60 cb->prop(&prop, cb->extra); 65 if (!last && node && cb->done) cb->done(node, cb->extra); 68 if (cb->open) cb->open(&child, cb->extra); 71 strings, &child, cb); 30 fdt_scan_helper( uint32_t *lex, const char *strings, struct fdt_scan_node *node, const struct fdt_cb *cb) argument 89 fdt_scan(uintptr_t fdt, const struct fdt_cb *cb) argument 193 struct fdt_cb cb; local 282 struct fdt_cb cb; local 362 struct fdt_cb cb; local 464 struct fdt_cb cb; local 494 struct fdt_cb cb; local 543 struct fdt_cb cb; local 599 struct fdt_cb cb; local 680 struct fdt_cb cb; local 787 struct fdt_cb cb; local [all...] |
H A D | htif.c | 146 struct fdt_cb cb; local 149 memset(&cb, 0, sizeof(cb)); 150 cb.open = htif_open; 151 cb.prop = htif_prop; 152 cb.done = htif_done; 153 cb.extra = &scan; 155 fdt_scan(fdt, &cb);
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4Notification-to.template.c | 84 void (*cb)(void*) = callback; 88 if (cb == NULL) { 105 if (cb != NULL) { 106 /* A callback was registered. Note that `cb` is a local variable 109 cb(arg); 138 int /*? me.interface.name ?*/_reg_callback(void (*cb)(void*), void *arg) { argument 144 cb(arg); 159 cb(arg); 170 callback = cb;
|
H A D | seL4NotificationQueue-to.template.c | 84 void (*cb)(void*) = callback; 88 if (cb == NULL) { 105 if (cb != NULL) { 106 cb(arg); 135 int /*? me.interface.name ?*/_reg_callback(void (*cb)(void*), void *arg) { argument 138 cb(arg); 149 cb(arg); 158 callback = cb;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | storage.h | 18 int usb_storage_xfer(struct usb_dev *udev, void *cb, size_t cb_len,
|
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | plat.h | 24 ssize_t plat_serial_read(void *buf, size_t buf_size, chardev_callback_t cb, void *token); 25 ssize_t plat_serial_write(void *buf, size_t buf_size, chardev_callback_t cb, void *token);
|
H A D | plat.c | 26 ssize_t plat_serial_write(void *buf, size_t buf_size, chardev_callback_t cb, void *token) argument 28 ssize_t res = ps_cdev_write(serial, buf, buf_size, cb, token); 32 ssize_t plat_serial_read(void *buf, size_t buf_size, chardev_callback_t cb, void *token) argument 34 ssize_t res = ps_cdev_read(serial, buf, buf_size, cb, token);
|
/seL4-camkes-master/projects/musllibc/src/aio/ |
H A D | aio.c | 45 struct aiocb *cb; member in struct:aio_args 53 struct aiocb *cb; member in struct:aio_thread 141 struct aiocb *cb = at->cb; local 142 struct sigevent sev = cb->aio_sigevent; 152 cb->__ret = at->ret; 155 if (a_swap(&cb->__err, at->err) != EINPROGRESS) 156 __wake(&cb->__err, -1, 1); 192 struct aiocb *cb = args->cb; local 260 submit(struct aiocb *cb, int op) argument 300 aio_read(struct aiocb *cb) argument 305 aio_write(struct aiocb *cb) argument 310 aio_fsync(int op, struct aiocb *cb) argument 319 aio_return(struct aiocb *cb) argument 324 aio_error(const struct aiocb *cb) argument 330 aio_cancel(int fd, struct aiocb *cb) argument [all...] |
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 13 word_t cb = cap_cb_cap_get_capCB(cap); local 14 cte_t *cbSlot = smmuStateCBNode + cb; 136 /*binding the sid to cb in SMMU*/ 139 * copy of the given cb cap in sid's cnode*/ 189 word_t index, depth, cb; local 211 cb = getSyscallArg(0, buffer); 216 if (cb >= SMMU_MAX_CB) { 220 userError("Rejecting request for CB %u. CB is greater than or equal to SMMU_MAX_CB.", (int)cb); 223 if (smmuStateCBTable[cb]) { 225 userError("Rejecting request for CB %u. Already active.", (int)cb); 258 word_t cb; local 352 word_t cb = cap_cb_cap_get_capCB(cap); local 366 smmu_cb_delete_vspace(word_t cb, asid_t asid) argument [all...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | mqtt.h | 176 err_t mqtt_client_connect(mqtt_client_t *client, const ip_addr_t *ipaddr, u16_t port, mqtt_connection_cb_t cb, void *arg, 189 err_t mqtt_sub_unsub(mqtt_client_t *client, const char *topic, u8_t qos, mqtt_request_cb_t cb, void *arg, u8_t sub); 193 #define mqtt_subscribe(client, topic, qos, cb, arg) mqtt_sub_unsub(client, topic, qos, cb, arg, 1) 196 #define mqtt_unsubscribe(client, topic, cb, arg) mqtt_sub_unsub(client, topic, 0, cb, arg, 0) 199 mqtt_request_cb_t cb, void *arg);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | otg.h | 43 int otg_ep0_setup(usb_otg_t otg, otg_setup_cb cb, void* token); 49 otg_prime_cb cb, void* token);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/ |
H A D | usb_otg.h | 30 otg_setup_cb cb, void* token); 33 otg_prime_cb cb, void* token);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | otg.c | 47 int otg_ep0_setup(usb_otg_t otg, otg_setup_cb cb, void *token) argument 52 return otg->ep0_setup(otg, cb, token); 57 void *vbuf, uintptr_t pbuf, int len, otg_prime_cb cb, void *token) 59 return otg->prime(otg, ep, dir, vbuf, pbuf, len, cb, token); 56 otg_prime(usb_otg_t otg, int ep, enum usb_xact_type dir, void *vbuf, uintptr_t pbuf, int len, otg_prime_cb cb, void *token) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | i2c.h | 157 i2c_callback_fn cb, void *token); 160 i2c_callback_fn cb, void *token); 207 i2c_callback_fn cb, void *token); 209 i2c_callback_fn cb, void *token); 211 i2c_aas_callback_fn cb, void *token); 218 i2c_callback_fn cb; member in struct:i2c_bus 343 * @param[in] cb Callback which will be called when there is an I2C event 348 i2c_aas_callback_fn cb, void *token) 352 bus->register_slave_event_handler(bus, cb, token); 404 * @param[in] cb 347 i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument 408 i2c_read(i2c_bus_t *i2c_bus, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument 426 i2c_write(i2c_bus_t *i2c_bus, const void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument 517 i2c_slave_read(i2c_slave_t *i2c_slave, void *data, size_t size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument 537 i2c_slave_write(i2c_slave_t *i2c_slave, const void *data, int size, bool end_with_repeat_start, i2c_callback_fn cb, void *token) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | irq_combiner.h | 27 * @param[in] priv private data to pass to cb 31 int vmm_register_combiner_irq(int group, int index, combiner_irq_handler_fn cb, void *priv);
|