Searched refs:id (Results 1 - 25 of 326) sorted by relevance

1234567891011>>

/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/
H A Dwip_anti-simple.c13 { printf("%d\n", $id:(foo)(3));
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dservices.h19 #define RESOURCE(op, id) ps_io_map(&(op->io_mapper), (uintptr_t) id##_PADDR, id##_SIZE, 0, PS_MEM_NORMAL)
21 #define MAP_IF_NULL(op, id, ptr) \
24 ptr = RESOURCE(op, id); \
H A Dtqueue.c41 int tqueue_alloc_id(tqueue_t *tq, unsigned int *id) argument
43 if (!tq || !id) {
50 *id = i;
59 int tqueue_alloc_id_at(tqueue_t *tq, unsigned int id) argument
61 if (!tq || id >= tq->n) {
65 if (tq->array[id].allocated) {
69 tq->array[id].allocated = true;
73 int tqueue_free_id(tqueue_t *tq, unsigned int id) argument
79 if (id < 0 || id >
99 tqueue_register(tqueue_t *tq, unsigned int id, timeout_t *timeout) argument
124 tqueue_cancel(tqueue_t *tq, unsigned int id) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/arch/arm/
H A Devent_counters.h17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/
H A Devent_counters.h16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
/seL4-camkes-master/projects/musllibc/src/linux/
H A Dquotactl.c4 int quotactl(int cmd, const char *special, int id, char *addr) argument
6 return syscall(SYS_quotactl, cmd, special, id, addr);
/seL4-camkes-master/projects/musllibc/src/ipc/
H A Dshmat.c6 void *shmat(int id, const void *addr, int flag) argument
8 return (void *)syscall(SYS_shmat, id, addr, flag);
11 void *shmat(int id, const void *addr, int flag) argument
14 ret = syscall(SYS_ipc, IPCOP_shmat, id, flag, &addr, addr);
H A Dsemop.c5 int semop(int id, struct sembuf *buf, size_t n) argument
8 return syscall(SYS_semop, id, buf, n);
10 return syscall(SYS_ipc, IPCOP_semop, id, n, 0, buf);
H A Dsemtimedop.c6 int semtimedop(int id, struct sembuf *buf, size_t n, const struct timespec *ts) argument
9 return syscall(SYS_semtimedop, id, buf, n, ts);
11 return syscall(SYS_ipc, IPCOP_semtimedop, id, n, 0, buf, ts);
H A Dshmctl.c5 int shmctl(int id, int cmd, struct shmid_ds *buf) argument
8 return syscall(SYS_shmctl, id, cmd | IPC_64, buf);
10 return syscall(SYS_ipc, IPCOP_shmctl, id, cmd | IPC_64, 0, buf, 0);
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/smp/
H A Dsmp.h27 cpu_id_t id; local
29 asm volatile("mrs %0, tpidr_el2" : "=r"(id));
31 asm volatile("mrs %0, tpidr_el1" : "=r"(id));
33 return (id & CPUID_MASK);
/seL4-camkes-master/projects/global-components/components/ResetServer/libResetServer-client/include/
H A Dresetserver_client.h17 int resetserver_interface_init(int (*resetserver_assert)(reset_id_t id),
18 int (*resetserver_deassert)(reset_id_t id),
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A Didx.c48 static struct idx_node *idx_index_search(struct rbt_root *root, obj_id id) argument
60 if (id < xnode->id)
62 else if (id > xnode->id)
84 int idx_get_obj_addr(struct bilbyfs_info *bi, obj_id id, struct obj_addr *addr) argument
87 u32 inum = inum_from_id(id);
90 xnode = idx_index_search(&bi->idx_hash[hash], id);
99 static struct idx_node *index_insert_or_replace(struct bilbyfs_info *bi, struct rbt_root *root, obj_id id, struct idx_node *allocated_node) argument
109 if (id < xnod
128 idx_set_obj_addr(struct bilbyfs_info *bi, obj_id id, struct obj_addr *addr, struct idx_node *allocated_node) argument
139 idx_get_or_create_obj_addr_node(struct bilbyfs_info *bi, obj_id id) argument
147 idx_next_obj_id(struct bilbyfs_info *bi, obj_id id) argument
178 idx_del_obj_addr(struct bilbyfs_info *bi, obj_id id) argument
[all...]
/seL4-camkes-master/projects/musllibc/src/process/
H A Dwaitid.c5 int waitid(idtype_t type, id_t id, siginfo_t *info, int options) argument
7 return syscall_cp(SYS_waitid, type, id, info, options, 0);
/seL4-camkes-master/projects/global-components/components/ResetServer/libResetServer-client/
H A Dresetserver_client.c19 int (*resetserver_assert)(reset_id_t id);
20 int (*resetserver_deassert)(reset_id_t id);
25 static int resetserver_assert_wrapper(void *data, reset_id_t id) argument
29 return resetserver_data->resetserver_assert(id);
32 static int resetserver_deassert_wrapper(void *data, reset_id_t id) argument
36 return resetserver_data->resetserver_deassert(id);
39 int resetserver_interface_init(int (*resetserver_assert)(reset_id_t id), argument
40 int (*resetserver_deassert)(reset_id_t id),
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx7/
H A Di2c.c15 int i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument
/seL4-camkes-master/projects/musllibc/src/time/
H A Dclock_getcpuclockid.c9 clockid_t id = (-pid-1)*8U + 2; local
10 int ret = __syscall(SYS_clock_getres, id, &ts);
12 *clk = id;
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv8-a/64/
H A Dsmp.c25 int id; local
27 id = (sp - (unsigned long)&core_stacks[0][0]) / STACK_SIZE;
29 MSR("tpidr_el1", id);
31 core_up[id] = id;
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Dreset.h21 int (*reset_assert)(void *data, reset_id_t id);
22 int (*reset_deassert)(void *data, reset_id_t id);
28 static inline int reset_sys_assert(reset_sys_t *reset, reset_id_t id) argument
40 return reset->reset_assert(reset->data, id);
43 static inline int reset_sys_deassert(reset_sys_t *reset, reset_id_t id) argument
55 return reset->reset_deassert(reset->data, id);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dchardev.c27 .id = BCM2837_UART##devid, \
39 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
42 if (dev_defn[i].id == id) {
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dchardev.c27 .id = UART##devid, \
42 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
45 if (dev_defn[i].id == id) {
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/spike/
H A Dchardev.c19 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dchardev.c27 .id = PL001_UART##devid, \
38 struct ps_chardevice *ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument
42 if (dev_defn[i].id == id) {
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/ariane/
H A Dchardev.c18 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rocketchip/
H A Dchardev.c18 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument

Completed in 88 milliseconds

1234567891011>>