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