diff options
author | Rusty Russell <rusty@rustcorp.com.au> | 2013-04-22 06:40:41 +0200 |
---|---|---|
committer | Rusty Russell <rusty@rustcorp.com.au> | 2013-04-22 08:15:02 +0200 |
commit | 86935fc4ee4d95efe01b6c91cd5143fa4c38c02b (patch) | |
tree | bac296987d1d5fbb756912e643e7faa23c663e1b /drivers/lguest/lg.h | |
parent | lguest: don't share Switcher PTE pages between guests. (diff) | |
download | linux-86935fc4ee4d95efe01b6c91cd5143fa4c38c02b.tar.xz linux-86935fc4ee4d95efe01b6c91cd5143fa4c38c02b.zip |
lguest: map Switcher text whenever we allocate a new pagetable.
It's always to same, so no need to put in the PTE every time we're
about to run. Keep a flag to track whether the pagetable has the
Switcher entries allocated, and when allocating always initialize the
Switcher text PTE.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
Diffstat (limited to 'drivers/lguest/lg.h')
-rw-r--r-- | drivers/lguest/lg.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/lguest/lg.h b/drivers/lguest/lg.h index faac9fc6db22..005929a3fd52 100644 --- a/drivers/lguest/lg.h +++ b/drivers/lguest/lg.h @@ -16,6 +16,7 @@ struct pgdir { unsigned long gpgdir; + bool switcher_mapped; pgd_t *pgdir; }; |