Did you mean (for openbmc):timer_irq_eoi
Your search defs:timer_irq_exit did not match any files. Suggestions: