I just noticed the very same issue on one of my machines. Besides stumbling over this bug report I also found this one: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=642154
There was one follow up message that did not make it through to the Debian Bug Tracker but is archived here: http://xen.1045712.n5.nabble.com/Re-Bug-642154-BUG-unable-to-handle-kernel-paging-request-at-ffff8803bb6ad000-td4822570.html quoting from there: "For the record, same problem here with Xen 4.0 and an Intel Xeon CPU E31220 with "microcode 0x14". (and the problem doesn't exists with a CPU E31220 without that microcode). The xen parameter "noxsaveopt" solved it." Probably the issue is somehow related? My CPU is a Core-i5 3470T that lists xsaveopt in /proc/cpuinfo. Up to now I wasn't able to trigger this issue any more on my machine. -- Adi
signature.asc
Description: Digital signature