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

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h61 #define TK1MUX_GROUP_OFFSET_ATCFG1 (0x870) macro
105 #define ATCFG1 TK1MUX_GROUP_OFFSET_ATCFG1
H A Dmux_gpio_shared.c48 { TK1MUX_GROUP_OFFSET_ATCFG1, 12, 20, 0x7F, 0x7F },
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h61 #define TK1MUX_GROUP_OFFSET_ATCFG1 (0x870) macro
105 #define ATCFG1 TK1MUX_GROUP_OFFSET_ATCFG1
H A Dmux_gpio_shared.c48 { TK1MUX_GROUP_OFFSET_ATCFG1, 12, 20, 0x7F, 0x7F },

Completed in 28 milliseconds