On Sat, 2010-10-23 at 22:02 +0200, Ingo Molnar wrote:
Interesting, the jump was to NULL. I'm thinking it hit a trace point and
jumped to a NULL address. I guess there's some strange race here. Is a
cache flush missing somewhere. I'll look more into this on Monday.