Searched refs:io_ops (Results 1 - 25 of 98) sorted by relevance

1234

/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx7/
H A Dgpio.c17 int gpio_sys_init(ps_io_ops_t* io_ops, gpio_sys_t* gpio_sys) argument
H A Di2c.c15 int i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument
/seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/
H A Dam335x.h23 * @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 Dimx6.h24 * @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 Dintel.h29 * @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 Dvirtio_pci.h27 * @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 Dzynq7000.h23 * @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 Dtx2.h33 * @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);
H A Dpico_dev_eth.h53 struct pico_device *pico_eth_create(char *name, ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops);
55 struct pico_device *pico_eth_create_no_malloc(char *name, ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops, pico_device_eth *pico_dev);
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dplat_internal.h21 __plat_serial_init(ps_io_ops_t* io_ops);
H A Dserial.c46 int __plat_serial_init(ps_io_ops_t *io_ops) argument
49 if (ps_cdev_init(PS_SERIAL_DEFAULT, io_ops, &temp_device)) {
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dclock_mux.c18 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/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Dtimer.h53 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-test-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/
H A Dtimer.h59 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-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dvirtio_pci_console.h18 typedef int (*console_driver_init)(struct console_passthrough *driver, ps_io_ops_t io_ops, void *config);
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Dtimer.h50 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-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmx6qsabrelite.c161 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 Dgpio.h138 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);
H A Dmxc_gpio.c87 enum mxc_gpio_direction direction, ps_io_ops_t *io_ops)
101 gpio_ports[port] = (unsigned long)ps_io_map(&io_ops->io_mapper, gpio_phys, GPIO_SIZE, 0, PS_MEM_NORMAL);
181 int gpio_direction_input(unsigned gpio, ps_io_ops_t *io_ops) argument
183 return mxc_gpio_direction(gpio, MXC_GPIO_DIRECTION_IN, io_ops);
186 int gpio_direction_output(unsigned gpio, int value, ps_io_ops_t *io_ops) argument
188 int ret = mxc_gpio_direction(gpio, MXC_GPIO_DIRECTION_OUT, io_ops);
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 Dtimer.h45 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-test-master/projects/util_libs/libplatsupport/src/mach/imx/
H A Dgpt.c245 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...]
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/imx/epit/
H A Depit.c196 epit->epit_map = (volatile struct epit_map *) ps_pmem_map(&epit->io_ops, pmem, false, PS_MEM_NORMAL);
211 epit->irq_id = ps_irq_register(&epit->io_ops.irq_ops, irq, epit_handle_irq, epit);
227 epit->io_ops = config.io_ops;
236 int error = ps_fdt_read_path(&epit->io_ops.io_fdt, &epit->io_ops.malloc_ops, config.device_path, &cookie);
238 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT);
244 error = ps_fdt_walk_registers(&epit->io_ops.io_fdt, cookie, allocate_register_callback, epit);
246 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&epit->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT);
252 error = ps_fdt_walk_irqs(&epit->io_ops
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dfdt.c34 ps_io_ops_t *io_ops; member in struct:index_helper_token
258 void *ret_addr = ps_pmem_map(helper_token->io_ops, pmem, false, PS_MEM_NORMAL);
270 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, argument
273 if (io_ops == NULL) {
274 ZF_LOGE("io_ops is NULL!");
283 index_helper_token_t token = { .io_ops = io_ops, .desired_offset = offset };
285 int error = ps_fdt_walk_registers(&io_ops->io_fdt, cookie, register_index_helper_walker,
307 irq_id_t registered_id = ps_irq_register(&helper_token->io_ops->irq_ops,
321 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_ argument
[all...]
/seL4-test-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h34 platsupport_serial_setup_io_ops(ps_io_ops_t* io_ops);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dmux.c69 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
71 (void)io_ops;

Completed in 115 milliseconds

1234