Symbol: hfi1_fault_exit_debugfs