Symbol: get_thread_fault_code