/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | enet.h | 48 struct enet * enet_init(struct desc_data desc_data, ps_io_ops_t *io_ops);
|
H A D | enet.c | 519 enet_init(struct desc_data desc_data, ps_io_ops_t *io_ops) argument 526 regs = RESOURCE(&io_ops->io_mapper, IMX6_ENET); 543 clock_sys_init(io_ops, clk_sys); 550 void *clock_base = RESOURCE(&io_ops->io_mapper, CCM);
|
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
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);
|
H A D | clock.h | 82 * @parm[in] io_ops A handle to io operations that may be used for 88 int clock_sys_init(ps_io_ops_t *io_ops, clock_sys_t *clock_sys);
|
H A D | gpio.h | 144 * @param[in] io_ops io operations for device initialisation 148 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys);
|
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 1359 tegra_i2c_init(int controller_id, void *vaddr, ps_io_ops_t *io_ops, argument 1365 error = ps_malloc(&io_ops->malloc_ops, sizeof(*s), (void **)&s); 1393 ps_free(&io_ops->malloc_ops, sizeof(*s), s); 1400 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c_bus) argument 1404 assert(io_ops != NULL); 1409 vaddr = RESOURCE(io_ops, TK1_I2C0); 1413 vaddr = RESOURCE(io_ops, TK1_I2C1); 1417 vaddr = RESOURCE(io_ops, TK1_I2C2); 1421 vaddr = RESOURCE(io_ops, TK1_I2C3); 1425 vaddr = RESOURCE(io_ops, TK1_I2C [all...] |
H A D | mux.c | 622 ps_io_ops_t *io_ops, 633 error = ps_malloc(&io_ops->malloc_ops, sizeof(*state), (void **)&state); 659 int mux_sys_init(ps_io_ops_t *io_ops, void *dependencies, mux_sys_t *mux) argument 664 pinmux_misc_vaddr = RESOURCE(io_ops, TK1_MUX_MISC); 669 pinmux_aux_vaddr = RESOURCE(io_ops, TK1_MUX_AUX); 675 return tegra_mux_init(pinmux_misc_vaddr, pinmux_aux_vaddr, io_ops, 621 tegra_mux_init(volatile void *pinmux_misc, volatile void *pinmux_aux, ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys, mux_sys_t *self) argument
|
H A D | gpio.c | 473 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument 475 if (io_ops == NULL) { 482 MAP_IF_NULL(io_ops, TK1_GPIO, gpio_sys->priv);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | i2c.c | 1359 tegra_i2c_init(int controller_id, void *vaddr, ps_io_ops_t *io_ops, argument 1365 error = ps_malloc(&io_ops->malloc_ops, sizeof(*s), (void **)&s); 1393 ps_free(&io_ops->malloc_ops, sizeof(*s), s); 1400 i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c_bus) argument 1404 assert(io_ops != NULL); 1409 vaddr = RESOURCE(io_ops, TK1_I2C0); 1413 vaddr = RESOURCE(io_ops, TK1_I2C1); 1417 vaddr = RESOURCE(io_ops, TK1_I2C2); 1421 vaddr = RESOURCE(io_ops, TK1_I2C3); 1425 vaddr = RESOURCE(io_ops, TK1_I2C [all...] |
H A D | mux.c | 622 ps_io_ops_t *io_ops, 633 error = ps_malloc(&io_ops->malloc_ops, sizeof(*state), (void **)&state); 659 int mux_sys_init(ps_io_ops_t *io_ops, void *dependencies, mux_sys_t *mux) argument 664 pinmux_misc_vaddr = RESOURCE(io_ops, TK1_MUX_MISC); 669 pinmux_aux_vaddr = RESOURCE(io_ops, TK1_MUX_AUX); 675 return tegra_mux_init(pinmux_misc_vaddr, pinmux_aux_vaddr, io_ops, 621 tegra_mux_init(volatile void *pinmux_misc, volatile void *pinmux_aux, ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys, mux_sys_t *self) argument
|
H A D | gpio.c | 473 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys) argument 475 if (io_ops == NULL) { 482 MAP_IF_NULL(io_ops, TK1_GPIO, gpio_sys->priv);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/ |
H A D | lwip.c | 443 lwip_iface_t *ethif_new_lwip_driver_no_malloc(ps_io_ops_t io_ops, ps_dma_man_t *pbuf_dma, ethif_driver_init driver, argument 453 iface->dma_man = io_ops.dma_manager; 456 err = driver(&iface->driver, io_ops, driver_config); 474 lwip_iface_t *ethif_new_lwip_driver(ps_io_ops_t io_ops, ps_dma_man_t *pbuf_dma, ethif_driver_init driver, argument 483 ret = ethif_new_lwip_driver_no_malloc(io_ops, pbuf_dma, driver, driver_config, iface);
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | i2c.h | 129 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus);
|
/seL4-refos-master/libs/libplatsupport/plat_include/am335x/platsupport/plat/ |
H A D | i2c.h | 129 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus);
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | clock.h | 82 * @parm[in] io_ops A handle to io operations that may be used for 88 int clock_sys_init(ps_io_ops_t *io_ops, clock_sys_t *clock_sys);
|
H A D | gpio.h | 144 * @param[in] io_ops io operations for device initialisation 148 int gpio_sys_init(ps_io_ops_t *io_ops, gpio_sys_t *gpio_sys);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq_gem.h | 161 void zynq_set_gem_ioops(ps_io_ops_t *io_ops);
|
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | tmu.c | 163 exynos_tmu_init(enum tmu_id id, ps_io_ops_t* io_ops, tmu_t* tmu) argument 170 MAP_IF_NULL(io_ops, EXYNOS_TMU, _tmu_regs[id]);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | tmu.c | 163 exynos_tmu_init(enum tmu_id id, ps_io_ops_t* io_ops, tmu_t* tmu) argument 170 MAP_IF_NULL(io_ops, EXYNOS_TMU, _tmu_regs[id]);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | intel.c | 1015 static int common_init(struct eth_driver *driver, ps_io_ops_t io_ops, void *config, e1000_dev_t *dev) argument 1029 err = initialize_desc_ring(dev, &io_ops.dma_manager); 1043 irq_id_t irq_id = ps_irq_register(&io_ops.irq_ops, eth_config->irq_info[0], eth_irq_handle, driver); 1066 return ps_interface_register(&io_ops.interface_registration_ops, PS_ETHERNET_INTERFACE, driver, NULL); 1069 int ethif_e82580_init(struct eth_driver *driver, ps_io_ops_t io_ops, void *config) argument 1078 return common_init(driver, io_ops, config, dev); 1081 int ethif_e82574_init(struct eth_driver *driver, ps_io_ops_t io_ops, void *config) argument 1090 return common_init(driver, io_ops, config, dev);
|
H A D | virtio_pci.c | 361 int ethif_virtio_pci_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) { argument 371 dev->ioops = io_ops.io_port_ops; 377 err = initialize(dev, &io_ops.dma_manager); 381 dma_addr_t packet = dma_alloc_pin(&io_ops.dma_manager, sizeof(struct virtio_net_hdr), 1, DMA_ALIGN); 394 free_desc_ring(dev, &io_ops.dma_manager);
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | zynq_gem.c | 63 ps_io_ops_t *io_ops; member in struct:zynq_gem_priv 206 void zynq_set_gem_ioops(ps_io_ops_t *io_ops) argument 208 zynq_io_ops = io_ops;
|
/seL4-refos-master/libs/libplatsupport/plat_include/tk1/platsupport/plat/ |
H A D | mux.h | 275 ps_io_ops_t *io_ops,
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/ |
H A D | mux.h | 275 ps_io_ops_t *io_ops,
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | beaglebone.c | 323 int ethif_am335x_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument 371 err = initialize_desc_ring(eth_data, &io_ops.dma_manager);
|