12 #include "HAL/Types.h"
18 HAL_SolenoidHandle HAL_InitializeSolenoidPort(HAL_PortHandle portHandle,
20 void HAL_FreeSolenoidPort(HAL_SolenoidHandle solenoidPortHandle);
21 HAL_Bool HAL_CheckSolenoidModule(int32_t module);
22 HAL_Bool HAL_CheckSolenoidChannel(int32_t channel);
23 HAL_Bool HAL_GetSolenoid(HAL_SolenoidHandle solenoidPortHandle,
25 int32_t HAL_GetAllSolenoids(int32_t module, int32_t* status);
26 void HAL_SetSolenoid(HAL_SolenoidHandle solenoidPortHandle, HAL_Bool value,
28 int32_t HAL_GetPCMSolenoidBlackList(int32_t module, int32_t* status);
29 HAL_Bool HAL_GetPCMSolenoidVoltageStickyFault(int32_t module, int32_t* status);
30 HAL_Bool HAL_GetPCMSolenoidVoltageFault(int32_t module, int32_t* status);
31 void HAL_ClearAllPCMStickyFaults(int32_t module, int32_t* status);