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

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h71 #define TK1MUX_GROUP_OFFSET_HVCFG0 (0x9b4) macro
115 #define HVCFG0 TK1MUX_GROUP_OFFSET_HVCFG0
H A Dmux_gpio_shared.c58 { TK1MUX_GROUP_OFFSET_HVCFG0, 12, 0, 0x1F, 0 },
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h71 #define TK1MUX_GROUP_OFFSET_HVCFG0 (0x9b4) macro
115 #define HVCFG0 TK1MUX_GROUP_OFFSET_HVCFG0
H A Dmux_gpio_shared.c58 { TK1MUX_GROUP_OFFSET_HVCFG0, 12, 0, 0x1F, 0 },

Completed in 31 milliseconds