Searched refs:io_ops (Results 26 - 50 of 131) sorted by relevance

123456

/seL4-refos-master/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-refos-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-refos-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-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
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-refos-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-refos-master/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-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h34 platsupport_serial_setup_io_ops(ps_io_ops_t* io_ops);
/seL4-refos-master/libs/libsel4platsupport/src/
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)) {
H A Dio.c330 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops) argument
332 memset(io_ops, 0, sizeof(ps_io_ops_t));
337 error = sel4platsupport_new_malloc_ops(&io_ops->malloc_ops);
343 error = sel4platsupport_new_io_mapper(vspace, vka, &io_ops->io_mapper);
348 error = sel4platsupport_new_fdt_ops(&io_ops->io_fdt, simple, &io_ops->malloc_ops);
350 free(io_ops->io_mapper.cookie);
351 io_ops->io_mapper.cookie = NULL;
355 error = sel4platsupport_new_irq_ops(&io_ops->irq_ops, vka, simple, DEFAULT_IRQ_INTERFACE_CONFIG,
356 &io_ops
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h34 platsupport_serial_setup_io_ops(ps_io_ops_t* io_ops);
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
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)) {
H A Dio.c330 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops) argument
332 memset(io_ops, 0, sizeof(ps_io_ops_t));
337 error = sel4platsupport_new_malloc_ops(&io_ops->malloc_ops);
343 error = sel4platsupport_new_io_mapper(vspace, vka, &io_ops->io_mapper);
348 error = sel4platsupport_new_fdt_ops(&io_ops->io_fdt, simple, &io_ops->malloc_ops);
350 free(io_ops->io_mapper.cookie);
351 io_ops->io_mapper.cookie = NULL;
355 error = sel4platsupport_new_irq_ops(&io_ops->irq_ops, vka, simple, DEFAULT_IRQ_INTERFACE_CONFIG,
356 &io_ops
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/
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-refos-master/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;
/seL4-refos-master/libs/libplatsupport/src/plat/omap3/
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;
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/
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;
/seL4-refos-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;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/
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;
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/
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;
/seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h25 ps_io_ops_t io_ops; member in struct:__anon2
39 ps_io_ops_t io_ops; member in struct:gpt
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/
H A Dgpt.h25 ps_io_ops_t io_ops; member in struct:__anon12
39 ps_io_ops_t io_ops; member in struct:gpt
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dtx2.c304 int ethif_tx2_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument
331 err = initialize_desc_ring(eth_data, &io_ops.dma_manager, eth_driver);
337 eth_dev = (struct eth_device *)tx2_initialise(base_addr, &io_ops);
355 free_desc_ring(eth_data, &io_ops.dma_manager);
375 ps_io_ops_t *io_ops; member in struct:__anon13
387 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL);
408 int res = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver);
417 int ethif_tx2_init_module(ps_io_ops_t *io_ops, const char *device_path) argument
422 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)&eth_driver);
429 callback_args_t args = {.io_ops
[all...]
H A Dtx2.h38 void *tx2_initialise(uintptr_t base_addr, ps_io_ops_t *io_ops);
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/
H A Dgpio.c199 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument
201 MAP_IF_NULL(io_ops, IMX6_GPIO1, _gpio.bank[0]);
202 MAP_IF_NULL(io_ops, IMX6_GPIO2, _gpio.bank[1]);
203 MAP_IF_NULL(io_ops, IMX6_GPIO3, _gpio.bank[2]);
204 MAP_IF_NULL(io_ops, IMX6_GPIO4, _gpio.bank[3]);
205 MAP_IF_NULL(io_ops, IMX6_GPIO5, _gpio.bank[4]);
206 MAP_IF_NULL(io_ops, IMX6_GPIO6, _gpio.bank[5]);
207 MAP_IF_NULL(io_ops, IMX6_GPIO7, _gpio.bank[6]);
208 return imx6_gpio_init_common(&io_ops->mux_sys, gpio_sys);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dgpio.c199 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument
201 MAP_IF_NULL(io_ops, IMX6_GPIO1, _gpio.bank[0]);
202 MAP_IF_NULL(io_ops, IMX6_GPIO2, _gpio.bank[1]);
203 MAP_IF_NULL(io_ops, IMX6_GPIO3, _gpio.bank[2]);
204 MAP_IF_NULL(io_ops, IMX6_GPIO4, _gpio.bank[3]);
205 MAP_IF_NULL(io_ops, IMX6_GPIO5, _gpio.bank[4]);
206 MAP_IF_NULL(io_ops, IMX6_GPIO6, _gpio.bank[5]);
207 MAP_IF_NULL(io_ops, IMX6_GPIO7, _gpio.bank[6]);
208 return imx6_gpio_init_common(&io_ops->mux_sys, gpio_sys);

Completed in 127 milliseconds

123456