12 #include "hal/Types.h"
24 HAL_PDPHandle HAL_InitializePDP(int32_t module, int32_t* status);
31 void HAL_CleanPDP(HAL_PDPHandle handle);
39 HAL_Bool HAL_CheckPDPChannel(int32_t channel);
47 HAL_Bool HAL_CheckPDPModule(int32_t module);
55 double HAL_GetPDPTemperature(HAL_PDPHandle handle, int32_t* status);
63 double HAL_GetPDPVoltage(HAL_PDPHandle handle, int32_t* status);
72 double HAL_GetPDPChannelCurrent(HAL_PDPHandle handle, int32_t channel,
81 double HAL_GetPDPTotalCurrent(HAL_PDPHandle handle, int32_t* status);
89 double HAL_GetPDPTotalPower(HAL_PDPHandle handle, int32_t* status);
97 double HAL_GetPDPTotalEnergy(HAL_PDPHandle handle, int32_t* status);
104 void HAL_ResetPDPTotalEnergy(HAL_PDPHandle handle, int32_t* status);
111 void HAL_ClearPDPStickyFaults(HAL_PDPHandle handle, int32_t* status);