record_irq_time 378 kernel/irq/internals.h static __always_inline void record_irq_time(struct irq_desc *desc) record_irq_time 390 kernel/irq/internals.h static inline void record_irq_time(struct irq_desc *desc) {}