Displaying 2 results from an estimated 2 matches for "pte_free_kernel".
2007 Jan 10
1
[PATCH] linux/i386: allow CONFIG_HIGHPTE on i386 (take 2)
...=============
--- sle10-sp1-2007-01-10.orig/include/asm-i386/mach-xen/asm/pgalloc.h 2007-01-10 13:33:54.000000000 +0100
+++ sle10-sp1-2007-01-10/include/asm-i386/mach-xen/asm/pgalloc.h 2007-01-10 14:15:14.000000000 +0100
@@ -42,7 +42,7 @@ extern struct page *pte_alloc_one(struct
static inline void pte_free_kernel(pte_t *pte)
{
free_page((unsigned long)pte);
- make_page_writable(pte, XENFEAT_writable_page_tables);
+ make_lowmem_page_writable(pte, XENFEAT_writable_page_tables);
}
extern void pte_free(struct page *pte);
_______________________________________________
Xen-devel mailing list
Xen-devel@...
2006 Mar 14
12
[RFC] VMI for Xen?
I''m sure everyone has seen the drop of VMI patches for Linux at this
point, but just in case, the link is included below.
I''ve read this version of the VMI spec and have made my way through most
of the patches. While I wasn''t really that impressed with the first
spec wrt Xen, the second version seems to be much more palatable.
Specifically, the code inlining and