Searched defs:gpio_sys_t (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ | ||
H A D | gpio.h | 16 typedef struct gpio_sys gpio_sys_t; typedef in typeref:struct:gpio_sys |
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/tk1/platsupport/plat/ | ||
H A D | mux.h | 29 typedef struct gpio_sys gpio_sys_t; typedef in typeref:struct:gpio_sys |
Completed in 23 milliseconds