Constant CONFIG_SOC_CONFIGURABLE_VDDSDIO_SUPPORTED 

pub const CONFIG_SOC_CONFIGURABLE_VDDSDIO_SUPPORTED: u32 = 1;