/seL4-refos-master/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-refos-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-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | am335x.h | 23 * @param[in] io_ops A structure containing os specific data and 27 int ethif_am335x_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | imx6.h | 24 * @param[in] io_ops A structure containing os specific data and 28 int ethif_imx6_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | intel.h | 29 * @param[in] io_ops A structure containing os specific data and 33 int ethif_e82580_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config); 39 * @param[in] io_ops A structure containing os specific data and 43 int ethif_e82574_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | virtio_pci.h | 27 * @param[in] io_ops A structure containing os specific data and 31 int ethif_virtio_pci_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | zynq7000.h | 23 * @param[in] io_ops A structure containing os specific data and 27 int ethif_zynq7000_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | tx2.h | 33 * @param[in] io_ops A structure containing os specific data and 37 int ethif_tx2_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | plat_internal.h | 21 __plat_serial_init(ps_io_ops_t* io_ops);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | plat_internal.h | 21 __plat_serial_init(ps_io_ops_t* io_ops);
|
/seL4-refos-master/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-refos-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-refos-master/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 57 .io_ops = io_ops, 66 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 69 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 77 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 80 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-refos-master/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 63 .io_ops = io_ops, 72 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 75 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 83 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 86 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-refos-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 57 .io_ops = io_ops, 66 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 69 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 77 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 80 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-refos-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 63 .io_ops = io_ops, 72 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 75 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 83 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 86 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-refos-master/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 54 .io_ops = io_ops, 78 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 82 .io_ops = io_ops,
|
/seL4-refos-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 54 .io_ops = io_ops, 78 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 82 .io_ops = io_ops,
|
/seL4-refos-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 167 if (mux_sys_valid(&io_ops->mux_sys)) { 168 base = mux_sys_get_vaddr(&io_ops->mux_sys); 170 base = RESOURCE(&io_ops->io_mapper, IOMUXC); 182 gpio_direction_output(IMX_GPIO_NR(1, 9), 0, io_ops); 184 gpio_direction_output(IMX_GPIO_NR(1, 9), 1, io_ops); 190 gpio_direction_output(IMX_GPIO_NR(3, 23), 0, io_ops); 191 gpio_direction_output(IMX_GPIO_NR(6, 30), 1, io_ops); 192 gpio_direction_output(IMX_GPIO_NR(6, 25), 1, io_ops); 193 gpio_direction_output(IMX_GPIO_NR(6, 27), 1, io_ops); [all...] |
H A D | gpio.h | 138 int gpio_direction_input(unsigned gpio, ps_io_ops_t *io_ops); 147 int gpio_direction_output(unsigned gpio, int value, ps_io_ops_t *io_ops);
|
/seL4-refos-master/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 49 .io_ops = io_ops, 86 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 90 .io_ops = io_ops, 117 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 121 .io_ops = io_ops,
|
/seL4-refos-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 49 .io_ops = io_ops, 86 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 90 .io_ops = io_ops, 117 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 121 .io_ops = io_ops,
|
/seL4-refos-master/libs/libplatsupport/src/mach/imx/ |
H A D | gpt.c | 245 gpt->gpt_map = (volatile struct gpt_map *) ps_pmem_map(&gpt->io_ops, pmem, false, PS_MEM_NORMAL); 260 gpt->irq_id = ps_irq_register(&gpt->io_ops.irq_ops, irq, gpt_handle_irq, gpt); 271 gpt->io_ops = config.io_ops; 279 int error = ps_fdt_read_path(&gpt->io_ops.io_fdt, &gpt->io_ops.malloc_ops, config.device_path, &cookie); 281 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 287 error = ps_fdt_walk_registers(&gpt->io_ops.io_fdt, cookie, allocate_register_callback, gpt); 289 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&gpt->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 295 error = ps_fdt_walk_irqs(&gpt->io_ops [all...] |