Symbol: hfi1_fault_init_debugfs