Searched refs:bank3 (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | mux.h | 54 * bank3 and bank4 are present for compatibility reasons 62 void* bank3,
|
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/ |
H A D | mux.h | 54 * bank3 and bank4 are present for compatibility reasons 62 void* bank3,
|
/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 181 if (bank3 != NULL) { 182 _gpio.bank[GPIO_BANK3] = bank3;
|
/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 181 if (bank3 != NULL) { 182 _gpio.bank[GPIO_BANK3] = bank3;
|
Completed in 37 milliseconds