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

/seL4-refos-master/libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h81 #define SDIO4CFG TK1MUX_GROUP_OFFSET_SDIO4CFG macro
H A Dmux_gpio_shared.c252 { MUX_PAD_SDMMC1_WP_N_PV3, SDIO4CFG },
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dmux_gpio_priv.h81 #define SDIO4CFG TK1MUX_GROUP_OFFSET_SDIO4CFG macro
H A Dmux_gpio_shared.c252 { MUX_PAD_SDMMC1_WP_N_PV3, SDIO4CFG },

Completed in 33 milliseconds