Searched refs:fault_record_num (Results 1 – 2 of 2) sorted by relevance
133 uint16_t fault_record_num; member
260 while (f_idx < data->fault_record_num) { in fault_event_isr()293 data->fault_record_num = VTD_CAP_NFR(value) + 1; in vtd_fault_event_init()