Searched refs:fault_record (Results 1 – 2 of 2) sorted by relevance
49 EFI_VTD_FAULT_RECORD *fault_record = in cper_section_dmar_vtd_to_ir() local63 fault_record->ExecutePermissionRequested)); in cper_section_dmar_vtd_to_ir()66 json_object_new_boolean(fault_record->PasidPresent)); in cper_section_dmar_vtd_to_ir()69 json_object_new_uint64(fault_record->FaultReason)); in cper_section_dmar_vtd_to_ir()72 json_object_new_uint64(fault_record->PasidValue)); in cper_section_dmar_vtd_to_ir()75 json_object_new_uint64(fault_record->AddressType)); in cper_section_dmar_vtd_to_ir()79 fault_record->Type, 2, VTD_FAULT_RECORD_TYPES_KEYS, in cper_section_dmar_vtd_to_ir()155 json_object *fault_record = in ir_section_dmar_vtd_to_cper() local166 json_object_object_get(fault_record, in ir_section_dmar_vtd_to_cper()173 json_object_object_get(fault_record, "pasidValue")); in ir_section_dmar_vtd_to_cper()[all …]
48 UINT8 *fault_record = bytes + 48; in generate_section_dmar_vtd() local49 UINT32 *reserved = (UINT32 *)(fault_record); in generate_section_dmar_vtd()51 reserved = (UINT32 *)(fault_record + 8); in generate_section_dmar_vtd()53 *(fault_record + 15) &= 0x7; //Very last bit of fault record. in generate_section_dmar_vtd()