XADC_REG_VCCINT
XADC_7S_CHAN_VOLTAGE(0, 9, XADC_REG_VCCINT, "vccint", true),
XADC_US_CHAN_VOLTAGE(0, 9, XADC_REG_VCCINT, "vccint", true),
return XADC_REG_VCCINT;
case XADC_REG_VCCINT: