Searched refs:num_pending_interrupts (Results 1 - 1 of 1) sorted by relevance
/gem5/src/dev/arm/ | ||
H A D | gic_v3_cpu_interface.cc | 2470 uint32_t num_pending_interrupts = 0; local 2481 num_pending_interrupts++; 2499 if (ich_hcr_el2.NPIE && (num_pending_interrupts == 0)) { |
Completed in 10 milliseconds