Constant SOC_CONFIGURABLE_VDDSDIO_SUPPORTED 

pub const SOC_CONFIGURABLE_VDDSDIO_SUPPORTED: u32 = 1;