This patch fixes build of arch/ppc/kernel/irc.c when CONFIG_TAU_INT
is set.
Signed-off-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>