Add all DMAR, CCIX, PCI, firmware conversions.
diff --git a/sections/cper-section-dmar-vtd.h b/sections/cper-section-dmar-vtd.h
index 54e2082..4a49e56 100644
--- a/sections/cper-section-dmar-vtd.h
+++ b/sections/cper-section-dmar-vtd.h
@@ -23,5 +23,6 @@
 } EFI_VTD_FAULT_RECORD;
 
 json_object* cper_section_dmar_vtd_to_ir(void* section, EFI_ERROR_SECTION_DESCRIPTOR* descriptor);
+void ir_section_dmar_vtd_to_cper(json_object* section, FILE* out);
 
 #endif
\ No newline at end of file