Searched refs:GPIOPORT_GET_BANK (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dmux.c50 b = GPIOPORT_GET_BANK(port);
156 GPIOPORT_GET_BANK(data->port),
238 bank = GPIOPORT_GET_BANK(portid);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/
H A Dgpio.h20 #define GPIOPORT_GET_BANK(port) ((port) >> 8) macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dgpio.h19 #define GPIOPORT_GET_BANK(port) ((port) >> 8) macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c223 bank = GPIOPORT_GET_BANK(gpioport);

Completed in 164 milliseconds