/seL4-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-master/libs/libmuslc/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...] |
H A D | aio_suspend.c | 16 const struct aiocb *cb = 0; local 28 cb = cbs[i]; 50 pfut = (void *)&cb->__err;
|
/seL4-refos-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-refos-master/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-refos-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-refos-master/libs/libmuslc/src/network/ |
H A D | netlink.c | 8 int (*cb)(void *ctx, struct nlmsghdr *h), void *ctx) 36 ret = cb(ctx, h); 42 int __rtnetlink_enumerate(int link_af, int addr_af, int (*cb)(void *ctx, struct nlmsghdr *h), void *ctx) 48 r = __netlink_enumerate(fd, 1, RTM_GETLINK, link_af, cb, ctx); 49 if (!r) r = __netlink_enumerate(fd, 2, RTM_GETADDR, addr_af, cb, ctx);
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 258 i2c_callback_fn cb, void* token) 265 i2c_bus->cb = cb; 271 if (cb == NULL) { 287 i2c_callback_fn cb, void* token) 294 i2c_bus->cb = cb; 300 if (cb == NULL) { 323 i2c_callback_fn cb, void* token) 337 sl->bus->cb 256 exynos_i2c_read(i2c_bus_t* i2c_bus, void* vdata, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 285 exynos_i2c_write(i2c_bus_t* i2c_bus, const void* vdata, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 354 exynos_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 570 exynos_i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 258 i2c_callback_fn cb, void* token) 265 i2c_bus->cb = cb; 271 if (cb == NULL) { 287 i2c_callback_fn cb, void* token) 294 i2c_bus->cb = cb; 300 if (cb == NULL) { 323 i2c_callback_fn cb, void* token) 337 sl->bus->cb 256 exynos_i2c_read(i2c_bus_t* i2c_bus, void* vdata, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 285 exynos_i2c_write(i2c_bus_t* i2c_bus, const void* vdata, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 321 exynos_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 354 exynos_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 570 exynos_i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/ |
H A D | client_watch.c | 57 srv_common_notify_handler_callbacks_t cb = { local 63 return srv_dispatch_notification(conServCommon, cb);
|
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/ |
H A D | client_watch.c | 57 srv_common_notify_handler_callbacks_t cb = { local 63 return srv_dispatch_notification(timeServCommon, cb);
|
/seL4-refos-master/apps/console_server/src/dispatchers/ |
H A D | client_watch.c | 57 srv_common_notify_handler_callbacks_t cb = { local 63 return srv_dispatch_notification(conServCommon, cb);
|
/seL4-refos-master/apps/timer_server/src/dispatchers/ |
H A D | client_watch.c | 57 srv_common_notify_handler_callbacks_t cb = { local 63 return srv_dispatch_notification(timeServCommon, cb);
|
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 60 * @param[in] cb A callback to call when the alarm has fired 68 tmu_alarm_callback cb, 77 * @param[in] cb A callback to call when the alarm has fired 85 tmu_alarm_callback cb,
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 60 * @param[in] cb A callback to call when the alarm has fired 68 tmu_alarm_callback cb, 77 * @param[in] cb A callback to call when the alarm has fired 85 tmu_alarm_callback cb,
|
/seL4-refos-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 467 void smmu_cb_assign_vspace(word_t cb, vspace_root_t *vspace, asid_t asid) argument 470 uint32_t vmid = cb; 493 smmu_write_reg32(SMMU_GR1_PPTR, SMMU_CBA2Rn(cb), reg); 511 smmu_write_reg32(SMMU_GR1_PPTR, SMMU_CBARn(cb), reg); 513 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TCR, smmu_stage_table_config.tcr[0]); 518 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TCR2, smmu_stage_table_config.tcr[1]); 519 smmu_write_reg64(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TTBR1, smmu_stage_table_config.ttbr[1]); 523 smmu_write_reg64(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_TTBR0, smmu_stage_table_config.ttbr[0]); 526 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_MAIR0, smmu_stage_table_config.mair[0]); 527 smmu_write_reg32(SMMU_CBn_BASE_PPTR(cb), SMMU_CBn_MAIR 534 smmu_cb_disable(word_t cb, asid_t asid) argument 543 smmu_sid_bind_cb(word_t sid, word_t cb) argument 584 smmu_tlb_invalidate_cb(int cb, asid_t asid) argument 601 smmu_tlb_invalidate_cb_va(int cb, asid_t asid, vptr_t vaddr) argument 631 smmu_cb_read_fault_state(int cb, uint32_t *status, word_t *address) argument 637 smmu_cb_clear_fault_state(int cb) argument [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 202 #define NH_W2A(w, a, cb) ( WideCharToMultiByte( \ 208 (cb), \ 212 #define NH_A2W(a, w, cb) ( MultiByteToWideChar( \ 218 (cb)), (w) ) 220 #define NH_W2A(w, a, cb) (strncpy((a), (w), (cb))) 222 #define NH_A2W(a, w, cb) (strncpy((w), (a), (cb)))
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 202 #define NH_W2A(w, a, cb) ( WideCharToMultiByte( \ 208 (cb), \ 212 #define NH_A2W(a, w, cb) ( MultiByteToWideChar( \ 218 (cb)), (w) ) 220 #define NH_W2A(w, a, cb) (strncpy((a), (w), (cb))) 222 #define NH_A2W(a, w, cb) (strncpy((w), (a), (cb)))
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 174 i2c_callback_fn cb, void* token) 183 i2c_callback_fn cb, void* token) 200 i2c_callback_fn cb, void* token) 223 if (cb) { 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 233 i2c_callback_fn cb, void* token) 255 if (cb) { 256 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c_bitbang.c | 174 i2c_callback_fn cb, void* token) 183 i2c_callback_fn cb, void* token) 200 i2c_callback_fn cb, void* token) 223 if (cb) { 224 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 233 i2c_callback_fn cb, void* token) 255 if (cb) { 256 cb(sl->bus, I2CSTAT_COMPLETE, size, token); 172 i2c_bb_read(i2c_bus_t* bus, void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 181 i2c_bb_write(i2c_bus_t* bus, const void* buf, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 197 i2c_bb_start_read(i2c_slave_t *sl, void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 230 i2c_bb_start_write(i2c_slave_t *sl, const void* vdata, size_t size, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 77 i2c_callback_fn cb; member in struct:i2c_bus_priv 342 imx6_i2c_read(i2c_bus_t* i2c_bus, void* data, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 349 imx6_i2c_write(i2c_bus_t* i2c_bus, const void* data, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 366 i2c_callback_fn cb, void* token) 380 dev->cb = cb; 383 if (cb == NULL) { 397 i2c_callback_fn cb, void* token) 414 dev->cb = cb; 363 imx6_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 394 imx6_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 438 imx6_i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 77 i2c_callback_fn cb; member in struct:i2c_bus_priv 342 imx6_i2c_read(i2c_bus_t* i2c_bus, void* data, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 349 imx6_i2c_write(i2c_bus_t* i2c_bus, const void* data, size_t len, UNUSED bool send_stop, i2c_callback_fn cb, void* token) argument 366 i2c_callback_fn cb, void* token) 380 dev->cb = cb; 383 if (cb == NULL) { 397 i2c_callback_fn cb, void* token) 414 dev->cb = cb; 363 imx6_i2c_start_write(i2c_slave_t* sl, const void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 394 imx6_i2c_start_read(i2c_slave_t* sl, void* vdata, size_t len, UNUSED bool end_with_repeat_start, i2c_callback_fn cb, void* token) argument 438 imx6_i2c_register_slave_event_handler(i2c_bus_t *bus, i2c_aas_callback_fn cb, void *token) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | spi.c | 119 spi_callback_fn cb; member in struct:spi_bus 199 spi_bus->cb(spi_bus, size, spi_bus->token); 224 spi_bus->cb(spi_bus, -1, spi_bus->token); 252 void* rxdata, size_t rxcnt, spi_callback_fn cb, void* token) 262 if (cb == NULL) { 272 spi_bus->cb = cb; 251 spi_xfer(spi_bus_t* spi_bus, const void* txdata, size_t txcnt, void* rxdata, size_t rxcnt, spi_callback_fn cb, void* token) argument
|