forked from Minki/linux
927b6c4da9
Use IRQ_TIMER0 instead, which is the same thing. Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk> |
||
---|---|---|
.. | ||
include/mach | ||
dma.c | ||
irq.c | ||
Makefile | ||
Makefile.boot | ||
riscpc.c | ||
time.c |