3.13-rc7 Oops in kernel/timer.c:1084 on ARM

[rh_]

Was logged in via a serial and lost the output but I recall this much:

While doing a halt (or reboot, forget which), saw this:

timer.c:1084:BUG_ON(tbase_get_base(timer->base) != base);

Do not see this in 3-13-rc2

model name      : ARMv7 Processor rev 2 (v7l)
Features        : swp half thumb fastmult vfp edsp neon vfpv3 tls vfpd32 
Hardware        : Generic AM33XX (Flattened Device Tree)

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/