12 #include "HAL/Types.h"
18 void HAL_InitializePDP(int32_t module, int32_t* status);
19 HAL_Bool HAL_CheckPDPChannel(int32_t channel);
20 HAL_Bool HAL_CheckPDPModule(int32_t module);
21 double HAL_GetPDPTemperature(int32_t module, int32_t* status);
22 double HAL_GetPDPVoltage(int32_t module, int32_t* status);
23 double HAL_GetPDPChannelCurrent(int32_t module, int32_t channel,
25 double HAL_GetPDPTotalCurrent(int32_t module, int32_t* status);
26 double HAL_GetPDPTotalPower(int32_t module, int32_t* status);
27 double HAL_GetPDPTotalEnergy(int32_t module, int32_t* status);
28 void HAL_ResetPDPTotalEnergy(int32_t module, int32_t* status);
29 void HAL_ClearPDPStickyFaults(int32_t module, int32_t* status);