XADC_REG_VCCPINT
XADC_7S_CHAN_VOLTAGE(3, 5, XADC_REG_VCCPINT, "vccpint", true),
XADC_US_CHAN_VOLTAGE(3, 5, XADC_REG_VCCPINT, "vccpsintlp", true),
return XADC_REG_VCCPINT;
case XADC_REG_VCCPINT: