/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/ |
H A D | i2c.h | 67 ps_io_ops_t *io_ops, i2c_bus_t *ib);
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 26 int reset_sys_init(ps_io_ops_t *io_ops, void *dependencies, reset_sys_t *reset);
|
H A D | mux.h | 54 * @param[in] io_ops collection of IO operations for the subsystem to use. 63 int mux_sys_init(ps_io_ops_t *io_ops, void *dependencies, mux_sys_t *mux);
|
H A D | irq_combiner.h | 39 * @param[in] io_ops IO operations for accessing this device 43 int irq_combiner_init(enum irq_combiner_id id, ps_io_ops_t* io_ops, irq_combiner_t* combiner);
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | reset.h | 26 int reset_sys_init(ps_io_ops_t *io_ops, void *dependencies, reset_sys_t *reset);
|
H A D | mux.h | 54 * @param[in] io_ops collection of IO operations for the subsystem to use. 63 int mux_sys_init(ps_io_ops_t *io_ops, void *dependencies, mux_sys_t *mux);
|
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | mux.c | 57 ps_io_ops_t *io_ops, 56 mux_sys_init( ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument
|
H A D | ltimer.c | 136 .io_ops = ops, 143 .io_ops = ops,
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | mux.c | 57 ps_io_ops_t *io_ops, 56 mux_sys_init( ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument
|
H A D | ltimer.c | 136 .io_ops = ops, 143 .io_ops = ops,
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 651 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 654 mux_sys_t* mux = &io_ops->mux_sys; 659 MAP_IF_NULL(io_ops, EXYNOS_I2C0, dev->regs); 662 MAP_IF_NULL(io_ops, EXYNOS_I2C1, dev->regs); 665 MAP_IF_NULL(io_ops, EXYNOS_I2C2, dev->regs); 668 MAP_IF_NULL(io_ops, EXYNOS_I2C3, dev->regs); 671 MAP_IF_NULL(io_ops, EXYNOS_I2C4, dev->regs); 674 MAP_IF_NULL(io_ops, EXYNOS_I2C5, dev->regs); 677 MAP_IF_NULL(io_ops, EXYNOS_I2C6, dev->regs); 680 MAP_IF_NULL(io_ops, EXYNOS_I2C [all...] |
H A D | spi.c | 416 spi_init(enum spi_id id, ps_io_ops_t* io_ops, spi_bus_t** ret_spi_bus) argument 424 MAP_IF_NULL(io_ops, EXYNOS_SPI0, spi_bus->regs); 427 MAP_IF_NULL(io_ops, EXYNOS_SPI1, spi_bus->regs); 430 MAP_IF_NULL(io_ops, EXYNOS_SPI2, spi_bus->regs); 434 MAP_IF_NULL(io_ops, EXYNOS_SPI0_ISP, spi_bus->regs); 437 MAP_IF_NULL(io_ops, EXYNOS_SPI1_ISP, spi_bus->regs); 444 return spi_init_common(spi_bus, &io_ops->mux_sys, &io_ops->clock_sys);
|
H A D | mux.c | 198 int mux_sys_init(ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument 201 MAP_IF_NULL(io_ops, EXYNOS_GPIOLEFT, _bank[GPIO_LEFT_BANK]); 202 MAP_IF_NULL(io_ops, EXYNOS_GPIORIGHT, _bank[GPIO_RIGHT_BANK]); 203 MAP_IF_NULL(io_ops, EXYNOS_GPIOC2C, _bank[GPIO_C2C_BANK]); 204 MAP_IF_NULL(io_ops, EXYNOS_GPIOAUDIO, _bank[GPIO_AUDIO_BANK]); 466 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument 469 assert(io_ops); 470 return exynos_gpio_sys_init(&io_ops->mux_sys, gpio_sys);
|
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 132 MAP_IF_NULL(io_ops, EXYNOS_IRQ_COMBINER, _combiner_regs);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 651 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 654 mux_sys_t* mux = &io_ops->mux_sys; 659 MAP_IF_NULL(io_ops, EXYNOS_I2C0, dev->regs); 662 MAP_IF_NULL(io_ops, EXYNOS_I2C1, dev->regs); 665 MAP_IF_NULL(io_ops, EXYNOS_I2C2, dev->regs); 668 MAP_IF_NULL(io_ops, EXYNOS_I2C3, dev->regs); 671 MAP_IF_NULL(io_ops, EXYNOS_I2C4, dev->regs); 674 MAP_IF_NULL(io_ops, EXYNOS_I2C5, dev->regs); 677 MAP_IF_NULL(io_ops, EXYNOS_I2C6, dev->regs); 680 MAP_IF_NULL(io_ops, EXYNOS_I2C [all...] |
H A D | spi.c | 416 spi_init(enum spi_id id, ps_io_ops_t* io_ops, spi_bus_t** ret_spi_bus) argument 424 MAP_IF_NULL(io_ops, EXYNOS_SPI0, spi_bus->regs); 427 MAP_IF_NULL(io_ops, EXYNOS_SPI1, spi_bus->regs); 430 MAP_IF_NULL(io_ops, EXYNOS_SPI2, spi_bus->regs); 434 MAP_IF_NULL(io_ops, EXYNOS_SPI0_ISP, spi_bus->regs); 437 MAP_IF_NULL(io_ops, EXYNOS_SPI1_ISP, spi_bus->regs); 444 return spi_init_common(spi_bus, &io_ops->mux_sys, &io_ops->clock_sys);
|
H A D | mux.c | 198 int mux_sys_init(ps_io_ops_t *io_ops, UNUSED void *dependencies, mux_sys_t *mux) argument 201 MAP_IF_NULL(io_ops, EXYNOS_GPIOLEFT, _bank[GPIO_LEFT_BANK]); 202 MAP_IF_NULL(io_ops, EXYNOS_GPIORIGHT, _bank[GPIO_RIGHT_BANK]); 203 MAP_IF_NULL(io_ops, EXYNOS_GPIOC2C, _bank[GPIO_C2C_BANK]); 204 MAP_IF_NULL(io_ops, EXYNOS_GPIOAUDIO, _bank[GPIO_AUDIO_BANK]); 466 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument 469 assert(io_ops); 470 return exynos_gpio_sys_init(&io_ops->mux_sys, gpio_sys);
|
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 132 MAP_IF_NULL(io_ops, EXYNOS_IRQ_COMBINER, _combiner_regs);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 387 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument 391 int error = ps_malloc(&io_ops->malloc_ops, sizeof(omap4_i2c_dev_t), (void **) &dev); 414 ps_free(&io_ops->malloc_ops, sizeof(omap4_i2c_dev_t), dev); 422 int i2c_init(enum i2c_id id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument 427 assert(io_ops != NULL); 434 vaddr = ps_pmem_map(io_ops, pmems[id], false, PS_MEM_NORMAL); 440 irq_id = ps_irq_register(&io_ops->irq_ops, irqs[id], i2c_handle_irq_wrapper, i2c_bus); 443 ps_pmem_unmap(io_ops, pmems[id], vaddr); 453 return omap4_i2c_init(vaddr, irq_id, io_ops, i2c_bus);
|
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 387 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument 391 int error = ps_malloc(&io_ops->malloc_ops, sizeof(omap4_i2c_dev_t), (void **) &dev); 414 ps_free(&io_ops->malloc_ops, sizeof(omap4_i2c_dev_t), dev); 422 int i2c_init(enum i2c_id id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument 427 assert(io_ops != NULL); 434 vaddr = ps_pmem_map(io_ops, pmems[id], false, PS_MEM_NORMAL); 440 irq_id = ps_irq_register(&io_ops->irq_ops, irqs[id], i2c_handle_irq_wrapper, i2c_bus); 443 ps_pmem_unmap(io_ops, pmems[id], vaddr); 453 return omap4_i2c_init(vaddr, irq_id, io_ops, i2c_bus);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 279 ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops, struct pico_device_eth *eth_dev) 291 eth_dev->dma_man = io_ops.dma_manager; 296 err = driver_init(&(eth_dev->driver), io_ops, driver_config); 337 ethif_driver_init driver_init, void *driver_config, ps_io_ops_t io_ops) 347 return pico_eth_create_no_malloc(name, driver_init, driver_config, io_ops, eth_dev); 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
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | driver_module.h | 56 typedef int (*ps_driver_init_fn_t)(ps_io_ops_t *io_ops, const char *device_path);
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | driver_module.h | 56 typedef int (*ps_driver_init_fn_t)(ps_io_ops_t *io_ops, const char *device_path);
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 494 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 503 MAP_IF_NULL(io_ops, IMX6_I2C1, dev->regs); 506 MAP_IF_NULL(io_ops, IMX6_I2C2, dev->regs); 509 MAP_IF_NULL(io_ops, IMX6_I2C3, dev->regs); 520 err = mux_feature_enable(&io_ops->mux_sys, dev->mux, MUX_DIR_NOT_A_GPIO); 527 dev->clock.clk_sys = &io_ops->clock_sys;
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | i2c.c | 494 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument 503 MAP_IF_NULL(io_ops, IMX6_I2C1, dev->regs); 506 MAP_IF_NULL(io_ops, IMX6_I2C2, dev->regs); 509 MAP_IF_NULL(io_ops, IMX6_I2C3, dev->regs); 520 err = mux_feature_enable(&io_ops->mux_sys, dev->mux, MUX_DIR_NOT_A_GPIO); 527 dev->clock.clk_sys = &io_ops->clock_sys;
|