| /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/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
|
| /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/ipc/ |
| H A D | ftok.c | 4 key_t ftok(const char *path, int id) argument
|
| H A D | semop.c | 5 int semop(int id, struct sembuf *buf, size_t n) argument
|
| H A D | shmctl.c | 5 int shmctl(int id, int cmd, struct shmid_ds *buf) argument
|
| H A D | semtimedop.c | 6 int semtimedop(int id, struct sembuf *buf, size_t n, const struct timespec *ts) argument
|
| H A D | shmat.c | 6 void *shmat(int id, const void *addr, int flag) argument
11 void *shmat(int id, const void *addr, int flag) argument
|
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | benchmark_tracepoints_types.h | 15 seL4_Word id; member in struct:benchmark_tracepoint_log_entry
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | chardev.c | 39 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
|
| /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
|
| /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
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
| H A D | chardev.c | 38 struct ps_chardevice *ps_cdev_init(enum chardev_id id, const ps_io_ops_t *o, struct ps_chardevice *d) argument
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/32/ |
| H A D | smp.c | 25 int id; local
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/armv/armv8-a/64/ |
| H A D | smp.c | 25 int id; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | chardev.c | 43 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/hifive/ |
| H A D | chardev.c | 42 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
|
| /seL4-camkes-master/projects/musllibc/src/time/ |
| H A D | clock_getcpuclockid.c | 9 clockid_t id = (-pid-1)*8U + 2; local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/smp/ |
| H A D | smp.h | 27 cpu_id_t id; local
|
| /seL4-camkes-master/kernel/include/benchmark/ |
| H A D | benchmark.h | 29 static inline void trace_point_start(word_t id) argument
35 static inline void trace_point_stop(word_t id) argument
|
| /seL4-camkes-master/projects/global-components/components/ResetServer/src/ |
| H A D | reset.c | 33 int the_reset_assert_reset(reset_id_t id) argument
38 int the_reset_deassert_reset(reset_id_t id) argument
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/ |
| H A D | usb_otg.h | 26 int id; member in struct:usb_otg_dev
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | chardev.c | 39 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/apq8064/ |
| H A D | chardev.c | 45 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* o, struct ps_chardevice* d) { argument
|