Searched refs:fault_record_description (Results 1 – 1 of 1) sorted by relevance
238 static void fault_record_description(uint64_t low, uint64_t high) in fault_record_description() function271 fault_record_description(fault_l, fault_h); in fault_event_isr()
