Searched defs:bank1 (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 61 apq8064_mux_init(void* bank1, argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 61 omap3_mux_init(void* bank1, argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 61 imx31_mux_init(void* bank1, argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | mux.c | 61 apq8064_mux_init(void* bank1, argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | mux.c | 61 imx31_mux_init(void* bank1, argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | mux.c | 61 omap3_mux_init(void* bank1, argument
|
/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
|
/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
|
Completed in 300 milliseconds