/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx7/ |
H A D | gpio.c | 17 int gpio_sys_init(ps_io_ops_t* io_ops, gpio_sys_t* gpio_sys) argument
|
H A D | i2c.c | 15 int i2c_init(enum i2c_id id, ps_io_ops_t* io_ops, i2c_bus_t* i2c) argument
|
/seL4-test-master/projects/util_libs/libethdrivers/include/ethdrivers/ |
H A D | am335x.h | 23 * @param[in] io_ops A structure containing os specific data and 27 int ethif_am335x_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | imx6.h | 24 * @param[in] io_ops A structure containing os specific data and 28 int ethif_imx6_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | intel.h | 29 * @param[in] io_ops A structure containing os specific data and 33 int ethif_e82580_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config); 39 * @param[in] io_ops A structure containing os specific data and 43 int ethif_e82574_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | virtio_pci.h | 27 * @param[in] io_ops A structure containing os specific data and 31 int ethif_virtio_pci_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | zynq7000.h | 23 * @param[in] io_ops A structure containing os specific data and 27 int ethif_zynq7000_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
H A D | tx2.h | 33 * @param[in] io_ops A structure containing os specific data and 37 int ethif_tx2_init(struct eth_driver *eth_driver, ps_io_ops_t io_ops, void *config);
|
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-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | plat_internal.h | 21 __plat_serial_init(ps_io_ops_t* io_ops);
|
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)) {
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | clock_mux.c | 18 clock_sys_init(ps_io_ops_t* io_ops, clock_sys_t* clk_sys) argument 24 mux_sys_init(ps_io_ops_t* io_ops, UNUSED void *dependencies, mux_sys_t* mux) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/ |
H A D | timer.h | 53 static inline int imx_init_timer(gpt_t *gpt, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 57 .io_ops = io_ops, 66 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 69 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 77 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 80 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/ |
H A D | timer.h | 59 static inline int imx_init_timer(gpt_t *gpt, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 63 .io_ops = io_ops, 72 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 75 return imx_init_timer(&timers->timestamp, io_ops, user_callback, user_callback_token, GPT1_PATH); 83 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t *io_ops, ltimer_callback_fn_t user_callback, argument 86 return imx_init_timer(&timers->timeout, io_ops, user_callback, user_callback_token, GPT2_PATH);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | virtio_pci_console.h | 18 typedef int (*console_driver_init)(struct console_passthrough *driver, ps_io_ops_t io_ops, void *config);
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
H A D | timer.h | 50 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 54 .io_ops = io_ops, 78 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 82 .io_ops = io_ops,
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | mx6qsabrelite.c | 161 int setup_iomux_enet(ps_io_ops_t *io_ops) argument 167 if (mux_sys_valid(&io_ops->mux_sys)) { 168 base = mux_sys_get_vaddr(&io_ops->mux_sys); 170 base = RESOURCE(&io_ops->io_mapper, IOMUXC); 182 gpio_direction_output(IMX_GPIO_NR(1, 9), 0, io_ops); 184 gpio_direction_output(IMX_GPIO_NR(1, 9), 1, io_ops); 190 gpio_direction_output(IMX_GPIO_NR(3, 23), 0, io_ops); 191 gpio_direction_output(IMX_GPIO_NR(6, 30), 1, io_ops); 192 gpio_direction_output(IMX_GPIO_NR(6, 25), 1, io_ops); 193 gpio_direction_output(IMX_GPIO_NR(6, 27), 1, io_ops); [all...] |
H A D | gpio.h | 138 int gpio_direction_input(unsigned gpio, ps_io_ops_t *io_ops); 147 int gpio_direction_output(unsigned gpio, int value, ps_io_ops_t *io_ops);
|
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-test-master/projects/util_libs/libplatsupport/plat_include/imx31/platsupport/plat/ |
H A D | timer.h | 45 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 49 .io_ops = io_ops, 86 static inline int imx_init_timestamp(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 90 .io_ops = io_ops, 117 static inline int imx_init_timeout(imx_timers_t *timers, ps_io_ops_t io_ops, ltimer_callback_fn_t user_callback, argument 121 .io_ops = io_ops,
|
/seL4-test-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-test-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-test-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-test-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-test-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;
|