/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx7/ |
H A D | gpio.c | 17 int gpio_sys_init(ps_io_ops_t* io_ops, gpio_sys_t* gpio_sys) argument
|
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-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | clock_mux.c | 18 clock_sys_init(ps_io_ops_t* io_ops, clock_sys_t* clk_sys) argument 24 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 46 int __plat_serial_init(ps_io_ops_t *io_ops) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 25 ps_io_ops_t io_ops; member in struct:__anon1 40 ps_io_ops_t io_ops; member in struct:epit
|
H A D | gpt.h | 25 ps_io_ops_t io_ops; member in struct:__anon2 39 ps_io_ops_t io_ops; member in struct:gpt
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | mux.c | 56 mux_sys_init( ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/ |
H A D | boot.c | 23 vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, ps_io_ops_t *io_ops, seL4_CPtr host_endpoint, const char *name) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | mx6qsabrelite.c | 161 int setup_iomux_enet(ps_io_ops_t *io_ops) argument [all...] |
H A D | mxc_gpio.c | 181 int gpio_direction_input(unsigned gpio, ps_io_ops_t *io_ops) argument 186 int gpio_direction_output(unsigned gpio, int value, ps_io_ops_t *io_ops) argument 86 mxc_gpio_direction(unsigned int gpio, enum mxc_gpio_direction direction, ps_io_ops_t *io_ops) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 45 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 86 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 117 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 53 static inline int imx_init_timer(gpt_t *gpt, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 66 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 77 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 50 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 78 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 59 static inline int imx_init_timer(gpt_t *gpt, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 72 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 83 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul.c | 109 virtio_emul_t *virtio_emul_init(ps_io_ops_t io_ops, int queue_size, vm_t *vm, void *driver, argument
|
H A D | virtio_console_emul.c | 156 void *console_virtio_emul_init(virtio_emul_t *emul, ps_io_ops_t io_ops, console_driver_init driver, void *config) argument
|
H A D | virtio_con.c | 45 static int emul_con_driver_init(struct console_passthrough *driver, ps_io_ops_t io_ops, void *config) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | irq_combiner.c | 126 irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 63 ps_io_ops_t io_ops; member in struct:__anon2 73 ps_io_ops_t io_ops; member in struct:__anon3
|
/seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | raw.h | 159 ps_io_ops_t io_ops; member in struct:eth_driver
|
/seL4-test-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 278 pico_eth_create_no_malloc(char *name, ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops, struct pico_device_eth *eth_dev) argument 336 pico_eth_create(char *name, ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops) argument
|