
void HAL_PIN_SetOutputValue(int index, int iVal);
int HAL_PIN_ReadDigitalInput(int index);
void HAL_PIN_Setup_Input_Pullup(int index);
void HAL_PIN_Setup_Input(int index);
void HAL_PIN_Setup_Output(int index);
void HAL_PIN_PWM_Stop(int index);
void HAL_PIN_PWM_Start(int index);
// Value range is 0 to 100, value is clamped
void HAL_PIN_PWM_Update(int index, int value);
int HAL_PIN_CanThisPinBePWM(int index);
const char *HAL_PIN_GetPinNameAlias(int index);





