Symbol: ddi_dev_report_fault