XADC_REG_VCCPAUX
XADC_7S_CHAN_VOLTAGE(4, 6, XADC_REG_VCCPAUX, "vccpaux", true),
XADC_US_CHAN_VOLTAGE(4, 6, XADC_REG_VCCPAUX, "vccpsintfp", true),
return XADC_REG_VCCPAUX;
case XADC_REG_VCCPAUX: