Searched defs:num_irq_total (Results 1 – 2 of 2) sorted by relevance
65 optional uint64 num_irq_total = 5; // Total num of irqs serviced since boot. field
2834 optional uint64 num_irq_total = 5; // Total num of irqs serviced since boot. field