>From my limited understanding of xen internals it appears that this is
a level 4 page table. I believe this is a xen bug since it also
happens if I destroy the domain rather than shutting down gracefully.