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