XADC_REG_VCCAUX
XADC_7S_CHAN_VOLTAGE(1, 10, XADC_REG_VCCAUX, "vccaux", true),
XADC_US_CHAN_VOLTAGE(1, 10, XADC_REG_VCCAUX, "vccaux", true),
return XADC_REG_VCCAUX;
case XADC_REG_VCCAUX: