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

1234567891011>>

/seL4-refos-master/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-refos-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-refos-master/projects/seL4_libs/libsel4bench/src/arch/arm/
H A Devent_counters.h17 #define EVENT_COUNTER_FORMAT(id, name) [id] = name
/seL4-refos-master/projects/seL4_libs/libsel4bench/src/
H A Devent_counters.h16 #define NAME_EVENT(id, name) EVENT_COUNTER_FORMAT(SEL4BENCH_EVENT_##id, name)
/seL4-refos-master/libs/libmuslc/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-refos-master/libs/libmuslc/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-refos-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-refos-master/libs/libmuslc/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-refos-master/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-refos-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-refos-master/libs/libmuslc/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-refos-master/projects/refos/impl/libs/libdatastruct/src/
H A Dcoat.c43 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 Dcoat.c43 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 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-refos-master/tools/elfloader/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-refos-master/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-refos-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-refos-master/libs/libmuslc/src/math/
H A Datanf.c45 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 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-refos-master/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) {

Completed in 146 milliseconds

1234567891011>>