Searched refs:sdio_id (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/imx6/
H A Dsdio.c24 enum sdio_id sdio_default_id(void)
29 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev)
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/plat_include/imx6/sdhc/plat/
H A Dsdio.h30 enum sdio_id { enum
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/exynos4/
H A Dsdio.c25 enum sdio_id sdio_default_id(void)
30 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev)
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/plat_include/exynos4/sdhc/plat/
H A Dsdio.h33 enum sdio_id { enum
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/include/sdhc/
H A Dsdio.h139 enum sdio_id sdio_default_id(void);
148 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev);

Completed in 38 milliseconds