Searched refs:DBGCFG (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
H A D | mux_gpio_shared.c | 113 { MUX_PAD_PU0, DBGCFG }, 114 { MUX_PAD_PU1, DBGCFG }, 115 { MUX_PAD_PU2, DBGCFG }, 116 { MUX_PAD_PU3, DBGCFG }, 117 { MUX_PAD_PU4, DBGCFG }, 118 { MUX_PAD_PU5, DBGCFG }, 119 { MUX_PAD_PU6, DBGCFG },
|
H A D | mux_gpio_priv.h | 95 #define DBGCFG TK1MUX_GROUP_OFFSET_DBGCFG macro
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
H A D | mux_gpio_shared.c | 113 { MUX_PAD_PU0, DBGCFG }, 114 { MUX_PAD_PU1, DBGCFG }, 115 { MUX_PAD_PU2, DBGCFG }, 116 { MUX_PAD_PU3, DBGCFG }, 117 { MUX_PAD_PU4, DBGCFG }, 118 { MUX_PAD_PU5, DBGCFG }, 119 { MUX_PAD_PU6, DBGCFG },
|
H A D | mux_gpio_priv.h | 95 #define DBGCFG TK1MUX_GROUP_OFFSET_DBGCFG macro
|
Completed in 29 milliseconds