| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | pthread_once.c | 11 int __pthread_once_full(pthread_once_t *control, void (*init)(void)) argument
39 int __pthread_once(pthread_once_t *control, void (*init)(void)) argument
[all...] |
| H A D | pthread_cancel.c | 89 static int init; local
|
| /seL4-refos-master/libs/libmuslc/src/prng/ |
| H A D | random.c | 11 static uint32_t init[] = { variable
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/drivers/ |
| H A D | common.h | 35 driver_init_t init; member in struct:elfloader_driver
|
| /seL4-refos-master/tools/elfloader/include/drivers/ |
| H A D | common.h | 35 driver_init_t init; member in struct:elfloader_driver
|
| /seL4-refos-master/libs/libplatsupport/include/platsupport/ |
| H A D | driver_module.h | 60 ps_driver_init_fn_t init; member in struct:__anon1
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | driver_module.h | 60 ps_driver_init_fn_t init; member in struct:__anon7
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | miiphy.h | 90 int (*init)(struct bb_miiphy_bus *bus); member in struct:bb_miiphy_bus
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | miiphy.h | 92 int (*init)(struct bb_miiphy_bus *bus); member in struct:bb_miiphy_bus
|
| H A D | zynq_gem.c | 59 int init; member in struct:zynq_gem_priv
|
| H A D | net.h | 166 int (*init)(struct eth_device *); member in struct:eth_device
|
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | clock.h | 64 clk_t *(*init)(clk_t *clk); member in struct:clock
|
| H A D | gpio.h | 81 int (*init)(gpio_sys_t *gpio_sys, gpio_id_t id, enum gpio_dir dir, gpio_t *gpio); member in struct:gpio_sys
|
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
| H A D | clock.h | 64 clk_t *(*init)(clk_t *clk); member in struct:clock
|
| H A D | gpio.h | 81 int (*init)(gpio_sys_t *gpio_sys, gpio_id_t id, enum gpio_dir dir, gpio_t *gpio); member in struct:gpio_sys
|
| /seL4-refos-master/libs/libmuslc/src/aio/ |
| H A D | aio.c | 62 int fd, seekable, append, ref, init; member in struct:aio_queue
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 39 static inline void *create_mid_level(vspace_t *vspace, uintptr_t init) argument
50 static inline void *create_bottom_level(vspace_t *vspace, uintptr_t init) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 39 static inline void *create_mid_level(vspace_t *vspace, uintptr_t init) argument
50 static inline void *create_bottom_level(vspace_t *vspace, uintptr_t init) argument
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | miiphy.h | 70 int (*init)(struct bb_miiphy_bus *bus); member in struct:bb_miiphy_bus
|
| H A D | net.h | 176 int (*init)(struct eth_device *, bd_t *); member in struct:eth_device
|
| /seL4-refos-master/libs/libvterm/src/ |
| H A D | vterm_internal.h | 147 void (*init) (VTermEncoding *enc, void *data); member in struct:VTermEncoding
|
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | vterm_internal.h | 147 void (*init) (VTermEncoding *enc, void *data); member in struct:VTermEncoding
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | files.c | 98 int init; member in struct:level_ftrack
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | files.c | 98 int init; member in struct:level_ftrack
|