Hi, We''ll have to make the pmd''s writable on release ... For the UP case the mm_umpin() in _arch_exit_mmap() is good enougth, for SMP it isn''t ... Gerd --- arch/xen/i386/mm/pgtable.c.smp 2005-08-09 12:48:31.992742653 +0200 +++ arch/xen/i386/mm/pgtable.c 2005-08-09 12:48:50.853202203 +0200 @@ -359,6 +359,7 @@ if (PTRS_PER_PMD > 1) { for (i = 0; i < USER_PTRS_PER_PGD; ++i) { pmd_t *pmd = (void *)__va(pgd_val(pgd[i])-1); + make_page_writable(pmd); kmem_cache_free(pmd_cache, pmd); } if (!HAVE_SHARED_KERNEL_PMD) { _______________________________________________ Xen-devel mailing list Xen-devel@lists.xensource.com http://lists.xensource.com/xen-devel