/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/ |
H A D | imx6.c | 67 int setup_iomux_enet(ps_io_ops_t *io_ops); 379 int ethif_imx6_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument 406 err = initialize_desc_ring(eth_data, &io_ops.dma_manager); 413 ocotp = ocotp_init(&io_ops.io_mapper); 419 err = setup_iomux_enet(&io_ops); 431 }, &io_ops); 469 ocotp_free(ocotp, &io_ops.io_mapper); 474 free_desc_ring(eth_data, &io_ops.dma_manager); 480 ps_io_ops_t *io_ops; member in struct:__anon1 494 args->addr = ps_pmem_map(args->io_ops, pme 523 ethif_imx_init_module(ps_io_ops_t *io_ops, const char *device_path) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument 72 return (dev_defn[i].init_fn(dev_defn + i, io_ops, dev)) ? NULL : dev;
|
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | lwip.h | 50 * @param[in] io_ops Structure for OS specific data and functions 68 lwip_iface_t *ethif_new_lwip_driver(ps_io_ops_t io_ops, ps_dma_man_t *pbuf_dma, ethif_driver_init driver, void *driver_config); 74 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, void *driver_config, lwip_iface_t *iface);
|
H A D | raw.h | 117 * @param io_ops Interface containing OS specific functions 123 typedef int (*ethif_driver_init)(struct eth_driver *driver, ps_io_ops_t io_ops, void *config); 159 ps_io_ops_t io_ops; member in struct:eth_driver
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument 72 return (dev_defn[i].init_fn(dev_defn + i, io_ops, dev)) ? NULL : dev;
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/ |
H A D | io.h | 66 * Creates a new implementation of the platsupport io_ops interface using a 73 * @param io_ops Interface to fill in 77 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops);
|
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/ |
H A D | io.h | 66 * Creates a new implementation of the platsupport io_ops interface using a 73 * @param io_ops Interface to fill in 77 int sel4platsupport_new_io_ops(vspace_t *vspace, vka_t *vka, simple_t *simple, ps_io_ops_t *io_ops);
|
/seL4-refos-master/libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 25 ps_io_ops_t io_ops; member in struct:__anon1 40 ps_io_ops_t io_ops; member in struct:epit
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/imx/platsupport/mach/ |
H A D | epit.h | 25 ps_io_ops_t io_ops; member in struct:__anon11 40 ps_io_ops_t io_ops; member in struct:epit
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 63 ps_io_ops_t io_ops; member in struct:__anon6 73 ps_io_ops_t io_ops; member in struct:__anon7
|
/seL4-refos-master/libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | timer.h | 63 ps_io_ops_t io_ops; member in struct:__anon2 73 ps_io_ops_t io_ops; member in struct:__anon3
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 119 * @param io_ops An initialised IO ops interface. 128 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 135 * @param io_ops An initialised IO ops interface. 144 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | fdt.h | 119 * @param io_ops An initialised IO ops interface. 128 void *ps_fdt_index_map_register(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset, 135 * @param io_ops An initialised IO ops interface. 144 irq_id_t ps_fdt_index_register_irq(ps_io_ops_t *io_ops, ps_fdt_cookie_t *cookie, unsigned offset,
|
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 134 clock_sys_init(ps_io_ops_t* io_ops, clock_sys_t* clk_sys) argument 137 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL0, d->block0); 138 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL1, d->block1); 139 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL2, d->block2); 140 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL3, d->block3);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | clock.c | 134 clock_sys_init(ps_io_ops_t* io_ops, clock_sys_t* clk_sys) argument 137 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL0, d->block0); 138 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL1, d->block1); 139 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL2, d->block2); 140 MAP_IF_NULL(io_ops, APQ8064_CLK_CTL3, d->block3);
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 537 ttc->regs = ps_pmem_map(&ttc->io_ops, pmem, false, PS_MEM_NORMAL); 560 ttc->irq_id = ps_irq_register(&ttc->io_ops.irq_ops, irq, ttc_handle_irq, ttc); 577 ttc->io_ops = config.io_ops; 588 int error = ps_fdt_read_path(&ttc->io_ops.io_fdt, &ttc->io_ops.malloc_ops, device_path, &cookie); 590 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&ttc->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 596 error = ps_fdt_walk_registers(&ttc->io_ops.io_fdt, cookie, allocate_register_callback, ttc); 598 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&ttc->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 604 error = ps_fdt_walk_irqs(&ttc->io_ops [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | timer.c | 537 ttc->regs = ps_pmem_map(&ttc->io_ops, pmem, false, PS_MEM_NORMAL); 560 ttc->irq_id = ps_irq_register(&ttc->io_ops.irq_ops, irq, ttc_handle_irq, ttc); 577 ttc->io_ops = config.io_ops; 588 int error = ps_fdt_read_path(&ttc->io_ops.io_fdt, &ttc->io_ops.malloc_ops, device_path, &cookie); 590 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&ttc->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 596 error = ps_fdt_walk_registers(&ttc->io_ops.io_fdt, cookie, allocate_register_callback, ttc); 598 ZF_LOGF_IF(ps_fdt_cleanup_cookie(&ttc->io_ops.malloc_ops, cookie), CLEANUP_FAIL_TEXT); 604 error = ps_fdt_walk_irqs(&ttc->io_ops [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/ |
H A D | zynq7000.c | 382 int ethif_zynq7000_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config) argument 410 err = initialize_desc_ring(eth_data, &io_ops.dma_manager); 424 zynq_set_gem_ioops(&io_ops); 457 free_desc_ring(eth_data, &io_ops.dma_manager); 463 ps_io_ops_t *io_ops; member in struct:__anon1 477 args->addr = ps_pmem_map(args->io_ops, pmem, false, PS_MEM_NORMAL); 496 args->irq_id = ps_irq_register(&args->io_ops->irq_ops, irq, eth_irq_handle, args->eth_driver); 506 int ethif_zynq7000_init_module(ps_io_ops_t *io_ops, const char *dev_path) argument 511 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **) ð_driver); 518 callback_args_t args = { .io_ops [all...] |
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | common.c | 69 static ps_io_ops_t io_ops = { variable 189 int platsupport_serial_setup_io_ops(ps_io_ops_t *io_ops) argument 195 err = __plat_serial_init(io_ops); 220 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka); 222 err = platsupport_serial_setup_io_ops(&io_ops); 251 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka); 253 err = platsupport_serial_setup_io_ops(&io_ops);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | common.c | 69 static ps_io_ops_t io_ops = { variable 189 int platsupport_serial_setup_io_ops(ps_io_ops_t *io_ops) argument 195 err = __plat_serial_init(io_ops); 220 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka); 222 err = platsupport_serial_setup_io_ops(&io_ops); 251 sel4platsupport_get_io_port_ops(&io_ops.io_port_ops, simple, vka); 253 err = platsupport_serial_setup_io_ops(&io_ops);
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | spi.h | 56 * @param[in] io_ops A structure providing operations which this device 61 int spi_init(enum spi_id id, ps_io_ops_t* io_ops, spi_bus_t** spi_bus);
|
/seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 45 int exynos_tmu_init(enum tmu_id id, ps_io_ops_t* io_ops, tmu_t* tmu);
|
/seL4-refos-master/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/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | spi.h | 56 * @param[in] io_ops A structure providing operations which this device 61 int spi_init(enum spi_id id, ps_io_ops_t* io_ops, spi_bus_t** spi_bus);
|
/seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
H A D | tmu.h | 45 int exynos_tmu_init(enum tmu_id id, ps_io_ops_t* io_ops, tmu_t* tmu);
|