XADC_REG_VCCO_DDR
XADC_7S_CHAN_VOLTAGE(5, 7, XADC_REG_VCCO_DDR, "vccoddr", true),
XADC_US_CHAN_VOLTAGE(5, 7, XADC_REG_VCCO_DDR, "vccpsaux", true),
return XADC_REG_VCCO_DDR;
case XADC_REG_VCCO_DDR: