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; + } +