Symbol: AMDGPIO_NUM_PINS