26 lines
1.0 KiB
Diff
26 lines
1.0 KiB
Diff
|
Index: 2007-04-27/xen/arch/x86/mm.c
|
||
|
|
===================================================================
|
||
|
|
--- 2007-04-27.orig/xen/arch/x86/mm.c 2007-04-27 08:27:18.000000000 +0200
|
||
|
|
+++ 2007-04-27/xen/arch/x86/mm.c 2007-04-27 09:30:37.000000000 +0200
|
||
|
|
@@ -410,7 +410,7 @@ void update_cr3(struct vcpu *v)
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
-void invalidate_shadow_ldt(struct vcpu *v)
|
||
|
|
+static void invalidate_shadow_ldt(struct vcpu *v)
|
||
|
|
{
|
||
|
|
int i;
|
||
|
|
unsigned long pfn;
|
||
|
|
Index: 2007-04-27/xen/include/asm-x86/mm.h
|
||
|
|
===================================================================
|
||
|
|
--- 2007-04-27.orig/xen/include/asm-x86/mm.h 2007-04-02 12:16:27.000000000 +0200
|
||
|
|
+++ 2007-04-27/xen/include/asm-x86/mm.h 2007-04-27 09:30:37.000000000 +0200
|
||
|
|
@@ -143,7 +143,6 @@ void init_frametable(void);
|
||
|
|
|
||
|
|
int alloc_page_type(struct page_info *page, unsigned long type);
|
||
|
|
void free_page_type(struct page_info *page, unsigned long type);
|
||
|
|
-void invalidate_shadow_ldt(struct vcpu *d);
|
||
|
|
int _shadow_mode_refcounts(struct domain *d);
|
||
|
|
|
||
|
|
static inline void put_page(struct page_info *page)
|