| /seL4-refos-master/libs/libmuslc/src/network/ |
| H A D | if_freenameindex.c | 4 void if_freenameindex(struct if_nameindex *idx) argument
|
| H A D | proto.c | 6 static int idx; variable
|
| /seL4-refos-master/libs/libmuslc/src/locale/ |
| H A D | langinfo.c | 33 int idx = item & 65535; local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | pagedir.c | 91 int idx = -1; local
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | pagedir.c | 91 int idx = -1; local
|
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdt_wip.c | 58 fdt_setprop_inplace_namelen_partial(void *fdt, int nodeoffset, const char *name, int namelen, uint32_t idx, const void *val, int len) argument
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 127 int idx = nameserv_find_entry_index(n, name); local
182 int idx = nameserv_find_entry_index(n, pathSegment); local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | proc_client_watch.c | 78 int idx = client_watch_find(wl, pid); local
105 int idx = client_watch_find(wl, pid); local
123 int idx = client_watch_find(wl, pid); local
[all...] |
| /seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
| H A D | cbpool.c | 87 uint32_t idx = obj / 32; local
98 uint32_t idx = obj / 32; local
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | nameserv.c | 127 int idx = nameserv_find_entry_index(n, name); local
182 int idx = nameserv_find_entry_index(n, pathSegment); local
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | proc_client_watch.c | 78 int idx = client_watch_find(wl, pid); local
105 int idx = client_watch_find(wl, pid); local
123 int idx = client_watch_find(wl, pid); local
[all...] |
| /seL4-refos-master/libs/libdatastruct/src/ |
| H A D | cbpool.c | 87 uint32_t idx = obj / 32; local
98 uint32_t idx = obj / 32; local
|
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | getopt_long.c | 23 static int __getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument
52 static int __getopt_long_core(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument
123 int getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx) argument
128 int getopt_long_only(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx) argument
[all...] |
| /seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tx2/ |
| H A D | platform_init.c | 27 uint8_t idx; member in struct:__anon199::__anon200
|
| /seL4-refos-master/tools/elfloader/src/plat/tx2/ |
| H A D | platform_init.c | 27 uint8_t idx; member in struct:__anon215::__anon216
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
| H A D | topl.c | 147 int idx = cw->maxrow; local
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
| H A D | topl.c | 147 int idx = cw->maxrow; local
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 38 int idx = (fmt > 0) ? i : (bytes - 1) - i; local
53 int idx = (fmt > 0) ? i : (bytes - 1) - i; local
|
| /seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/virtio/ |
| H A D | virtio_ring.h | 76 uint16_t idx; member in struct:vring_avail
90 uint16_t idx; member in struct:vring_used
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | i2c.c | 38 int idx = (fmt > 0) ? i : (bytes - 1) - i; local
53 int idx = (fmt > 0) ? i : (bytes - 1) - i; local
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | hacklib.c | 200 register int idx; local
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | hacklib.c | 200 register int idx; local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | dataspace.c | 272 uint32_t idx = ram_dspace_get_index(offset); local
284 uint32_t idx = ram_dspace_get_index(offset); local
[all...] |
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | dataspace.c | 272 uint32_t idx = ram_dspace_get_index(offset); local
284 uint32_t idx = ram_dspace_get_index(offset); local
[all...] |
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | mux.c | 322 int idx; local
333 int idx; local
359 int idx; local
373 int idx; local
[all...] |