#ifndef CPER_SECTION_FIRMWARE_H
#define CPER_SECTION_FIRMWARE_H

#include <json.h>
#include "../edk/Cper.h"

#define FIRMWARE_ERROR_RECORD_TYPES_KEYS (int []){0, 1, 2}
#define FIRMWARE_ERROR_RECORD_TYPES_VALUES (const char*[]){"IPF SAL Error Record", \
    "SOC Firmware Error Record (Type1 Legacy)", "SOC Firmware Error Record (Type2)"}

json_object* cper_section_firmware_to_ir(void* section, EFI_ERROR_SECTION_DESCRIPTOR* descriptor);
void ir_section_firmware_to_cper(json_object* section, FILE* out);

#endif