1 #ifndef CPER_GENERATE_H 2 #define CPER_GENERATE_H 3 4 #include <stdio.h> 5 #include "../edk/BaseTypes.h" 6 7 void generate_cper_record(char **types, UINT16 num_sections, FILE *out); 8 void generate_single_section_record(char *type, FILE *out); 9 10 #endif 11