* Ingo Molnar <mingo@elte.hu> wrote:

> if it's easy to reproduce it once more, could you apply the patch below? 

please use the updated patch below - it adds more info so that we can 
see whether irqs were really disabled (from the eflags), and we can see 
whether it was userspace or kernelspace.

	Ingo

Index: linux/arch/i386/mm/fault.c
===================================================================
--- linux.orig/arch/i386/mm/fault.c
+++ linux/arch/i386/mm/fault.c
@@ -337,6 +338,8 @@ fastcall void __kprobes do_page_fault(st
 
 	/* get the address */
         address = read_cr2();
+	trace_special(regs->eip, address, error_code);
+	trace_special(regs->eflags, regs->xss, regs->esp);
 
 	tsk = current;
 
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/