diff options
| author | Rusty Russell <rusty@rustcorp.com.au> | 2013-04-22 14:10:40 +0930 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2013-04-22 15:45:01 +0930 |
| commit | 3412b6ae2924e068f9932f841bdea0f2d8424502 (patch) | |
| tree | 75b499710ee82715c864d5787383ad35a9cd47bd /drivers/lguest/lg.h | |
| parent | f1f394b1c33d93416c90f97e201d4d386c04af55 (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.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index 9a345efa83e..faac9fc6db2 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; |