/seL4-camkes-master/tools/cogent/cogent/tests/tests/antiquoted-c/ |
H A D | wip_anti-simple.c | 13 { printf("%d\n", $id:(foo)(3));
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | services.h | 19 #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 D | tqueue.c | 41 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 D | event_counters.h | 17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/src/ |
H A D | event_counters.h | 16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | quotactl.c | 4 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 D | shmat.c | 6 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 D | semop.c | 5 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 D | semtimedop.c | 6 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 D | shmctl.c | 5 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 D | smp.h | 27 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 D | resetserver_client.h | 17 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 D | idx.c | 48 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 D | waitid.c | 5 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 D | resetserver_client.c | 19 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 D | i2c.c | 15 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 D | clock_getcpuclockid.c | 9 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 D | smp.c | 25 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 D | reset.h | 21 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 D | chardev.c | 27 .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 D | chardev.c | 27 .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 D | chardev.c | 19 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 D | chardev.c | 27 .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 D | chardev.c | 18 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 D | chardev.c | 18 ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument
|