/seL4-refos-master/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-refos-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-refos-master/projects/seL4_libs/libsel4bench/src/arch/arm/ |
H A D | event_counters.h | 17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
|
/seL4-refos-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-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-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-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-master/libs/libmuslc/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-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | coat.c | 43 int id = cpool_alloc(&t->pool); local 44 if (!id || id == COAT_INVALID_ID) { 49 while (cvector_count(&t->table) <= id) { 58 cvector_item_t obj = cvector_get(&t->table, id); 61 obj = t->oat_create(t, id, arg); 65 cvector_set(&t->table, id, obj); 72 return id; 75 if (id) cpool_free(&t->pool, id); 79 coat_get(coat_t *t, int id) argument 86 coat_free(coat_t *t, int id) argument [all...] |
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | coat.c | 43 int id = cpool_alloc(&t->pool); local 44 if (!id || id == COAT_INVALID_ID) { 49 while (cvector_count(&t->table) <= id) { 58 cvector_item_t obj = cvector_get(&t->table, id); 61 obj = t->oat_create(t, id, arg); 65 cvector_set(&t->table, id, obj); 72 return id; 75 if (id) cpool_free(&t->pool, id); 79 coat_get(coat_t *t, int id) argument 86 coat_free(coat_t *t, int id) argument [all...] |
/seL4-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/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-refos-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-refos-master/libs/libmuslc/src/math/ |
H A D | atanf.c | 45 int id; local 63 id = -1; 68 id = 0; 71 id = 1; 76 id = 2; 79 id = 3; 90 if (id < 0) 92 z = atanhi[id] - ((x*(s1+s2) - atanlo[id]) - x);
|
/seL4-refos-master/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-refos-master/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) {
|