Hello,

I get segementation fault from our 64-bit kernel crash
This crash is caused by "echo c > /proc/sys-trigger".
The reason seems to be that the x86_64_cpu_pda_init is
not called at least gdb do not break there.

Here is a little patch that fixes it. Everyting seems to
work correctly. I'll provide more info if needed.


--- crash-5.0.0/x86_64.c        2010-01-06 21:38:27.000000000 +0200
+++ crash-5.0.0-64bit/x86_64.c        2010-01-14 08:24:13.679603706 +0200
@@ -6325,6 +6325,12 @@ x86_64_get_active_set(void)

ms = machdep->machspec;

+        if (!ms->current) {
+          error(INFO, "%s: Cannot get active set, ms->current is NULL\n",
+                __func__);
+          return;
+        }
+