K 10 svn:author V 6 cherry K 8 svn:date V 27 2012-12-19T12:09:02.726471Z K 7 svn:log V 360 - Add a dummy userland pagetable pointer to keep xen happy. This allows us to hypervisor_iret() into xen to resume from exceptions. (Xen checks for a valid userland pagetable irrespective of the domain "mode" (ie; user/kernel)) being returned to. - Enhance xen_vm_vtop() to lookup early (boottime) kernel mappings. - A few more sanity checks ie; KASSERTS() END