1 #ifndef _SWIFI_H 2 #define _SWIFI_H 3 4 #include <stdlib.h> 5 6 #define TEXT_FAULT 0 7 #define INIT_FAULT 3 8 #define NOP_FAULT 4 9 #define DST_FAULT 5 10 #define SRC_FAULT 6 11 #define BRANCH_FAULT 7 12 #define PTR_FAULT 8 13 #define LOOP_FAULT 12 14 #define INTERFACE_FAULT 14 15 #define IRQ_FAULT 26 16 #define STOP_FAULT 50 17 #define RANDOM_FAULT 99 18 19 void 20 swifi_inject_fault(char * module, 21 unsigned long faultType, 22 unsigned long randomSeed, 23 unsigned long numFaults); 24 25 #endif /* _SWIFI_H */ 26