Searched refs:TK1MUX_GROUP_OFFSET_DBGCFG (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
| H A D | mux_gpio_priv.h | 51 #define TK1MUX_GROUP_OFFSET_DBGCFG (0x8a0) macro
95 #define DBGCFG TK1MUX_GROUP_OFFSET_DBGCFG
|
| H A D | mux_gpio_shared.c | 38 { TK1MUX_GROUP_OFFSET_DBGCFG, 12, 20, 0x1F, 0x1F },
120 { MUX_PAD_GEN1_I2C_SDA_PC5, TK1MUX_GROUP_OFFSET_DBGCFG },
121 { MUX_PAD_GEN1_I2C_SCL_PC4, TK1MUX_GROUP_OFFSET_DBGCFG },
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | mux_gpio_priv.h | 51 #define TK1MUX_GROUP_OFFSET_DBGCFG (0x8a0) macro
95 #define DBGCFG TK1MUX_GROUP_OFFSET_DBGCFG
|
| H A D | mux_gpio_shared.c | 38 { TK1MUX_GROUP_OFFSET_DBGCFG, 12, 20, 0x1F, 0x1F },
120 { MUX_PAD_GEN1_I2C_SDA_PC5, TK1MUX_GROUP_OFFSET_DBGCFG },
121 { MUX_PAD_GEN1_I2C_SCL_PC4, TK1MUX_GROUP_OFFSET_DBGCFG },
|
Completed in 37 milliseconds