#ifndef CPER_GENERATE_H
#define CPER_GENERATE_H

#ifdef __cplusplus
extern "C" {
#endif

#include <stdio.h>
#include "../edk/BaseTypes.h"

void generate_cper_record(char **types, UINT16 num_sections, FILE *out);
void generate_single_section_record(char *type, FILE *out);

#ifdef __cplusplus
}
#endif

#endif