Searched defs:fault_record (Results 1 – 2 of 2) sorted by relevance
49 EFI_VTD_FAULT_RECORD *fault_record = in cper_section_dmar_vtd_to_ir() local155 json_object *fault_record = in ir_section_dmar_vtd_to_cper() local
48 UINT8 *fault_record = bytes + 48; in generate_section_dmar_vtd() local