File content as of revision 2:3d9ca9554adf:

#include "mbed.h"
#include "pin_config.h"

#define FAULT0 PIN31      //  CHARGEBAR
#define FAULT1 PIN42      //  FAULTBAR
#define FAULT2 PIN40      //  3V3APGOOD 
#define FAULT3 PIN39      //  3V3BPGOOD                         
#define FAULT4  PIN41     //  3V3CPGOOD      
#define FAULT5  PIN79      //  3V3AOCBAR 
#define FAULT6  PIN80      //  3V3COC  
#define FAULT7  PIN89     //   TRZ
#define FAULT8  PIN83      //  TRXTRY  
#define FAULT9 PIN97      //  SW0FAULT  

//CONTROL SIGNALS
#define FAULT_CLEAR1 D8                            
#define FAULT_CLEAR2 D9
#define FAULT_CLEAR3 D10
#define FAULT_CLEAR4 D11
#define FAULT_CLEAR5 D12
#define FAULT_CLEAR6 D13
#define FAULT_CLEAR7 PTC7
#define FAULT_CLEAR8 PTC10
#define FAULT_CLEAR9 PTC11



#define ACS PTE2
#define TX PTE3
#define PAYLOAD PTE6


void FUNC_HK_FAULTS();
void FUNC_HK_POWER(char flag);
void interrupt_fault();