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

/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dmux.c51 p = GPIOPORT_GET_PORT(port);
157 GPIOPORT_GET_PORT(data->port),
263 port = GPIOPORT_GET_PORT(portid);
272 port = GPIOPORT_GET_PORT(portid);
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos4/platsupport/plat/
H A Dgpio.h21 #define GPIOPORT_GET_PORT(port) ((port) & 0xff) macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/exynos5/platsupport/plat/
H A Dgpio.h20 #define GPIOPORT_GET_PORT(port) ((port) & 0xff) macro
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvgpio.c224 port = GPIOPORT_GET_PORT(gpioport);

Completed in 31 milliseconds