summaryrefslogtreecommitdiff
path: root/drivers/lguest/lg.h
diff options
context:
space:
mode:
authorRusty Russell <rusty@rustcorp.com.au>2013-04-22 14:10:40 +0930
committerRusty Russell <rusty@rustcorp.com.au>2013-04-22 15:45:01 +0930
commit3412b6ae2924e068f9932f841bdea0f2d8424502 (patch)
tree75b499710ee82715c864d5787383ad35a9cd47bd /drivers/lguest/lg.h
parentf1f394b1c33d93416c90f97e201d4d386c04af55 (diff)
lguest: don't share Switcher PTE pages between guests.
We currently use the whole top PGD entry for the switcher, so we simply share a fixed page of PTEs between all guests (actually, it's one per Host CPU, to ensure isolation between guests). Changes to a scheme where every guest has its own mappings. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Diffstat (limited to 'drivers/lguest/lg.h')
-rw-r--r--drivers/lguest/lg.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h
index 9a345efa83e4..faac9fc6db22 100644
--- a/drivers/lguest/lg.h
+++ b/drivers/lguest/lg.h
@@ -14,9 +14,6 @@
#include <asm/lguest.h>
-void free_pagetables(void);
-int init_pagetables(struct page **switcher_pages);
-
struct pgdir {
unsigned long gpgdir;
pgd_t *pgdir;