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

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h72 #define TK1MUX_GROUP_OFFSET_GPVCFG (0x928) macro
116 #define GPVCFG TK1MUX_GROUP_OFFSET_GPVCFG
H A Dmux_gpio_shared.c59 { TK1MUX_GROUP_OFFSET_GPVCFG, 21, 20, 0x1F, 0x1F },
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h72 #define TK1MUX_GROUP_OFFSET_GPVCFG (0x928) macro
116 #define GPVCFG TK1MUX_GROUP_OFFSET_GPVCFG
H A Dmux_gpio_shared.c59 { TK1MUX_GROUP_OFFSET_GPVCFG, 21, 20, 0x1F, 0x1F },

Completed in 29 milliseconds