Searched refs:init_device (Results 1 - 6 of 6) sorted by relevance

/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) function
34 CAMKES_PRE_INIT_MODULE_DEFINE(ethdriver_setup, init_device);
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/
H A Ddriver.c27 static int init_device(struct elfloader_device *dev) function
48 int ret = init_device(&elfloader_devices[i]);
/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/
H A Dx86_64_eth_init.c39 static int init_device(ps_io_ops_t *io_ops) function
58 CAMKES_PRE_INIT_MODULE_DEFINE(ethdriver_setup, init_device);
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/
H A Dx86_64_eth_init.c39 static int init_device(ps_io_ops_t *io_ops) function
57 CAMKES_PRE_INIT_MODULE_DEFINE(ethdriver_setup, init_device);
/seL4-camkes-master/projects/global-components/components/Ethdriver/src/plat/pc99/
H A D82574.c52 static int init_device(ps_io_ops_t *io_ops) function
71 CAMKES_PRE_INIT_MODULE_DEFINE(ethdriver_setup, init_device);
H A D82580.c52 static int init_device(ps_io_ops_t *io_ops) function
71 CAMKES_PRE_INIT_MODULE_DEFINE(ethdriver_setup, init_device);

Completed in 150 milliseconds