/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/ |
H A D | gpio.h | 15 int gpio_component_init(ps_io_ops_t *io_ops);
|
H A D | mux.h | 16 int mux_component_init(ps_io_ops_t *io_ops); 18 WEAK int mux_component_plat_init(ps_io_ops_t *io_ops);
|
H A D | mux.c | 24 int mux_component_plat_init(ps_io_ops_t *io_ops) WEAK; 36 int mux_component_init(ps_io_ops_t *io_ops) argument 40 /* save a copy of the io_ops structure */ 41 io_ops_ref = io_ops; 44 error = mux_component_plat_init(io_ops); 46 error = mux_sys_init(io_ops, NULL, &io_ops->mux_sys);
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/imx6/ |
H A D | sdio.c | 29 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev) argument 35 iobase = RESOURCE(io_ops, SDHC1); 38 iobase = RESOURCE(io_ops, SDHC2); 41 iobase = RESOURCE(io_ops, SDHC3); 44 iobase = RESOURCE(io_ops, SDHC4); 54 ret = sdhc_init(iobase, _sdhc_irq_table, NSDHC, io_ops, dev);
|
/seL4-camkes-master/projects/global-components/components/ClockServer/src/ |
H A D | plat.h | 16 WEAK int plat_init(ps_io_ops_t *io_ops);
|
/seL4-camkes-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-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/templates/ |
H A D | picotcp-socket-sync-server-init.template.c | 18 int picotcp_socket_sync_server_init(ps_io_ops_t *io_ops, int num_clients, register_callback_handler_fn_t callback_handler); 23 static int init_server_post(ps_io_ops_t *io_ops) { argument 26 static int init_server_pre(ps_io_ops_t *io_ops) { argument 27 return picotcp_socket_sync_server_init(io_ops, /*? connection_name ?*/_recv_num_badges(), single_threaded_component_register_handler);
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/templates/ |
H A D | picotcp-ethernet-async-client-init.template.c | 19 static int init_client_pre(ps_io_ops_t *io_ops) { argument 21 return picotcp_ethernet_async_client_init(io_ops, "/*? connection_name ?*/_tx", "/*? connection_name ?*/_rx", single_threaded_component_register_handler, 25 static int init_client_post(ps_io_ops_t *io_ops) { argument
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/exynos4/ |
H A D | sdio.c | 30 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev) argument 36 iobase = RESOURCE(io_ops, SDHC0); 39 iobase = RESOURCE(io_ops, SDHC1); 42 iobase = RESOURCE(io_ops, SDHC2); 45 iobase = RESOURCE(io_ops, SDHC3); 48 iobase = RESOURCE(io_ops, SDHC4); 58 ret = sdhc_init(iobase, _sdhc_irq_table, NSDHC, io_ops, dev);
|
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/zynq7000/ |
H A D | plat.c | 24 static int init_device(ps_io_ops_t *io_ops) argument 30 return clock_sys_init(io_ops, &io_ops->clock_sys);
|
/seL4-camkes-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);
|
/seL4-camkes-master/projects/global-components/components/modules/picotcp-base/templates/ |
H A D | pico-init.template.c | 20 static int startup_picotcp(ps_io_ops_t *io_ops) { argument 26 int init_pico_post(ps_io_ops_t *io_ops, seL4_Word timer_badge, int (*timer_periodic)(int p_tid, uint64_t p_ns), 31 static int init_pico(ps_io_ops_t *io_ops) { argument 33 return init_pico_post(io_ops, /*? connection_name ?*/_timer_notification_badge(), /*? connection_name ?*/_timer_periodic, /*? connection_name ?*/_ip_addr, /*? connection_name ?*/_multicast_addr, single_threaded_component_register_handler);
|
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | plat_internal.h | 21 __plat_serial_init(ps_io_ops_t* io_ops);
|
/seL4-camkes-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-camkes-master/projects/camkes/apps/picotcp_tcp_echo/ |
H A D | x86_64_eth_init.c | 13 int ethif_init(struct eth_driver *eth_driver, ps_io_ops_t *io_ops) argument 30 int error = ethif_e82574_init(eth_driver, *io_ops, eth_config); 39 static int init_device(ps_io_ops_t *io_ops) argument 43 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); 49 error = ethif_init(eth_driver, io_ops);
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/ |
H A D | x86_64_eth_init.c | 13 int ethif_init(struct eth_driver *eth_driver, ps_io_ops_t *io_ops) argument 30 int error = ethif_e82574_init(eth_driver, *io_ops, eth_config); 39 static int init_device(ps_io_ops_t *io_ops) argument 42 int error = ps_calloc(&io_ops->malloc_ops, 1, sizeof(*eth_driver), (void **)ð_driver); 48 error = ethif_init(eth_driver, io_ops);
|
/seL4-camkes-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-camkes-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-camkes-master/projects/global-components/components/ClockServer/templates/ |
H A D | ClockServer-client.template.c | 24 static int ClockServer_client_init(ps_io_ops_t *io_ops) { argument 25 int error = clockserver_interface_init(io_ops, /*? connection_name ?*/_init_clock, /*? connection_name ?*/_set_gate_mode, 33 error = ps_interface_register(&io_ops->interface_registration_ops, PS_CLOCK_INTERFACE,
|
/seL4-camkes-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);
|