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) {}