There's a couple of patches in 4.1 which might plausibly be the fix for this.
changeset: 23246:8f927378135a user: Jan Beulich <jbeul...@suse.com> date: Wed Mar 07 08:35:58 2012 +0000 files: xen/arch/ia64/xen/domain.c xen/arch/x86/domain.c xen/arch/x86/domctl.c description: passthrough: release assigned PCI devices earlier during domain shutdown changeset: 22133:9c5f084135b8 user: Keir Fraser <keir.fra...@citrix.com> date: Mon Sep 13 17:00:10 2010 +0100 files: xen/common/page_alloc.c description: page_alloc: Check neighbouring chunks belong to same NUMA node before merging in free_heap_pages(). (the latter being the fix for http://mid.gmane.org/bay121-w4629fe3344480f9671824cda...@phx.gbl which Bastian referred to earlier.) Is there any chance that you could try with the Xen packages from Wheezy and see if this issue has been fixed. Thanks, Ian. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org