/seL4-refos-master/libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 196 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 D | gpt.c | 245 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 D | epit.c | 196 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 D | mxc_gpio.c | 87 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 D | fdt.c | 34 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 D | fdt.c | 34 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 D | platsupport.h | 34 platsupport_serial_setup_io_ops(ps_io_ops_t* io_ops);
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | serial.c | 46 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 D | io.c | 330 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 D | platsupport.h | 34 platsupport_serial_setup_io_ops(ps_io_ops_t* io_ops);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | serial.c | 46 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 D | io.c | 330 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 D | pico_dev_eth.h | 53 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 D | mux.c | 69 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 D | mux.c | 69 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 D | mux.c | 69 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 D | mux.c | 69 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 D | mux.c | 69 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 D | mux.c | 69 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 D | gpt.h | 25 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 D | gpt.h | 25 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 D | tx2.c | 304 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 **)ð_driver); 429 callback_args_t args = {.io_ops [all...] |
H A D | tx2.h | 38 void *tx2_initialise(uintptr_t base_addr, ps_io_ops_t *io_ops);
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | gpio.c | 199 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 D | gpio.c | 199 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);
|