Searched refs:TK1MUX_GROUP_OFFSET_DAP4CFG (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | mux_gpio_priv.h | 49 #define TK1MUX_GROUP_OFFSET_DAP4CFG (0x89c) macro 93 #define DAP4CFG TK1MUX_GROUP_OFFSET_DAP4CFG
|
H A D | mux_gpio_shared.c | 36 { TK1MUX_GROUP_OFFSET_DAP4CFG, 12, 20, 0x1F, 0x1F },
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | mux_gpio_priv.h | 49 #define TK1MUX_GROUP_OFFSET_DAP4CFG (0x89c) macro 93 #define DAP4CFG TK1MUX_GROUP_OFFSET_DAP4CFG
|
H A D | mux_gpio_shared.c | 36 { TK1MUX_GROUP_OFFSET_DAP4CFG, 12, 20, 0x1F, 0x1F },
|
Completed in 36 milliseconds