Why are these not using PIOS_ADC_DevicePinGet like systemmod.c ?