Home
last modified time | relevance | path

Searched refs:fault_record_num (Results 1 – 2 of 2) sorted by relevance

/Zephyr-latest/drivers/interrupt_controller/
Dintc_intel_vtd.h133 uint16_t fault_record_num; member
Dintc_intel_vtd.c260 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()