Searched refs:io_ops (Results 1 - 25 of 173) sorted by relevance

1234567

/seL4-camkes-master/projects/global-components/components/GPIOMUXServer/src/
H A Dgpio.h15 int gpio_component_init(ps_io_ops_t *io_ops);
H A Dmux.h16 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 Dmux.c24 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 Dsdio.c29 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 Dplat.h16 WEAK int plat_init(ps_io_ops_t *io_ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx7/
H A Dgpio.c17 int gpio_sys_init(ps_io_ops_t* io_ops, gpio_sys_t* gpio_sys) argument
H A Di2c.c15 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 Dpicotcp-socket-sync-server-init.template.c18 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 Dpicotcp-ethernet-async-client-init.template.c19 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 Dsdio.c30 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 Dplat.c24 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 Dam335x.h23 * @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 Dimx6.h24 * @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 Dintel.h29 * @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 Dvirtio_pci.h27 * @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 Dzynq7000.h23 * @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 Dpico-init.template.c20 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 Dplat_internal.h21 __plat_serial_init(ps_io_ops_t* io_ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dclock_mux.c18 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 Dx86_64_eth_init.c13 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 **)&eth_driver);
49 error = ethif_init(eth_driver, io_ops);
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/
H A Dx86_64_eth_init.c13 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 **)&eth_driver);
48 error = ethif_init(eth_driver, io_ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Dtimer.h53 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 Dtimer.h59 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 DClockServer-client.template.c24 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 Dvirtio_pci_console.h18 typedef int (*console_driver_init)(struct console_passthrough *driver, ps_io_ops_t io_ops, void *config);

Completed in 245 milliseconds

1234567