MIPS: allow R4K clockevent device to function regardless of GIC
authorPaul Burton <paul.burton@imgtec.com>
Wed, 5 Mar 2014 11:41:47 +0000 (11:41 +0000)
committerPaul Burton <paul.burton@imgtec.com>
Fri, 2 May 2014 15:39:12 +0000 (16:39 +0100)
commit60bdb9c7bd9ab5b63ad68e9391056f8757b810f1
tree952c0243845c2660d24ffc8a23ab0b88cbf65b4d
parentd8107efd8a3c15ec5885dbe1d3168e26c6b3e2e4
MIPS: allow R4K clockevent device to function regardless of GIC

Having the GIC clockevent driver compiled should not prevent the R4K
timer clockevent driver from functioning. One will be selected as the
CPU local timer based upon their priorities and the other may simply be
unused or in the case of the GIC timer may be used as the tick broadcast
device.

Signed-off-by: Paul Burton <paul.burton@imgtec.com>
arch/mips/kernel/cevt-r4k.c