Searched refs:TK1MUX_GROUP_OFFSET_SDIO1CFG (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/src/plat/tk1/ |
| H A D | mux_gpio_priv.h | 35 #define TK1MUX_GROUP_OFFSET_SDIO1CFG (0x8ec) macro
79 #define SDIO1CFG TK1MUX_GROUP_OFFSET_SDIO1CFG
|
| H A D | mux_gpio_shared.c | 22 { TK1MUX_GROUP_OFFSET_SDIO1CFG, 12, 20, 0x7F, 0x7F },
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | mux_gpio_priv.h | 35 #define TK1MUX_GROUP_OFFSET_SDIO1CFG (0x8ec) macro
79 #define SDIO1CFG TK1MUX_GROUP_OFFSET_SDIO1CFG
|
| H A D | mux_gpio_shared.c | 22 { TK1MUX_GROUP_OFFSET_SDIO1CFG, 12, 20, 0x7F, 0x7F },
|
Completed in 83 milliseconds