Searched refs:FaultRecord (Results 1 – 2 of 2) sorted by relevance
50 (EFI_VTD_FAULT_RECORD *)vtd_error->FaultRecord; in cper_section_dmar_vtd_to_ir()158 (EFI_VTD_FAULT_RECORD *)section_cper->FaultRecord; in ir_section_dmar_vtd_to_cper()
1321 UINT64 FaultRecord[2]; member