Searched refs:bank1 (Results 1 - 12 of 12) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | mux.c | 61 apq8064_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/omap3/ |
| H A D | mux.c | 61 omap3_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
| H A D | mux.c | 61 imx31_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | mux.c | 61 apq8064_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
| H A D | mux.c | 61 imx31_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
| H A D | mux.c | 61 omap3_mux_init(void* bank1, argument
64 (void)bank1;
|
| /seL4-refos-master/libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
| H A D | mux.h | 60 int exynos_mux_init(void* bank1,
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
| H A D | mux.h | 60 int exynos_mux_init(void* bank1,
|
| /seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
| H A D | gpio.h | 72 int imx6_gpio_sys_init(void *bank1, void *bank2, void *bank3,
|
| /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/ |
| H A D | gpio.h | 72 int imx6_gpio_sys_init(void *bank1, void *bank2, void *bank3,
|
| /seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 170 int imx6_gpio_sys_init(void *bank1, void *bank2, void *bank3, argument
175 if (bank1 != NULL) {
176 _gpio.bank[GPIO_BANK1] = bank1;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
| H A D | gpio.c | 170 int imx6_gpio_sys_init(void *bank1, void *bank2, void *bank3, argument
175 if (bank1 != NULL) {
176 _gpio.bank[GPIO_BANK1] = bank1;
|
Completed in 85 milliseconds