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

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h82 #define AOCFG0 TK1MUX_GROUP_OFFSET_AOCFG0 macro
H A Dmux_gpio_shared.c187 { MUX_PAD_JTAG_RTCK, AOCFG0 },
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h82 #define AOCFG0 TK1MUX_GROUP_OFFSET_AOCFG0 macro
H A Dmux_gpio_shared.c187 { MUX_PAD_JTAG_RTCK, AOCFG0 },

Completed in 65 milliseconds