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

/seL4-refos-master/libs/libplatsupport/plat_include/exynos4/platsupport/plat/
H A Dmux.h54 * 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 Dmux.h54 * bank3 and bank4 are present for compatibility reasons
62 void* bank3,
/seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Dgpio.h72 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 Dgpio.h72 int imx6_gpio_sys_init(void *bank1, void *bank2, void *bank3,
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/
H A Dgpio.c170 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 Dgpio.c170 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