Revision d1520316
ID | d1520316042de4f31e5c1464a992ffe57f1b6652 |
irq: Remove CPU_INTERRUPT_TIMER.
It is no longer used anywhere.
Signed-off-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Files
- added
- modified
- copied
- renamed
- deleted