Ben Gras 7ee78ffb82 kernel: improve exception debug printing
. fold 2 exception-in-kernel cases (pagefault and rest)
	  into 1
	. for exceptions that occur in kernel, don't just print
	  kernel stacktrace (typically that is just the exception
	  handler) but also the stacktrace of when the exception
	  happened
2011-07-22 10:57:08 +00:00
..
2011-07-18 19:44:59 +02:00
2010-09-15 14:09:52 +00:00
2011-07-18 19:44:59 +02:00
2010-09-15 14:09:46 +00:00
2011-06-24 17:21:51 +02:00
2010-04-01 22:22:33 +00:00
2010-09-15 14:10:18 +00:00
2011-06-28 15:34:19 +02:00
2011-06-24 17:21:51 +02:00
2011-06-24 17:21:51 +02:00
2010-09-15 14:09:52 +00:00
2011-07-18 19:44:59 +02:00
2011-06-24 17:21:51 +02:00
2011-06-24 17:21:51 +02:00
2010-05-19 10:00:02 +00:00
2010-05-19 10:00:02 +00:00
2011-06-24 17:21:51 +02:00
2010-09-15 14:09:52 +00:00