original_kernel/include/trace/irq.h