diff --git a/sections/cper-section-ia32x64.h b/sections/cper-section-ia32x64.h
index 238117d..d8c6825 100644
--- a/sections/cper-section-ia32x64.h
+++ b/sections/cper-section-ia32x64.h
@@ -42,5 +42,6 @@
 } EFI_IA32_X64_CPU_ID;
 
 json_object* cper_section_ia32x64_to_ir(void* section, EFI_ERROR_SECTION_DESCRIPTOR* descriptor);
+void ir_section_ia32x64_to_cper(json_object* section, FILE* out);
 
 #endif
\ No newline at end of file