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 /arch/microblaze | |
| 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 'arch/microblaze')
0 files changed, 0 insertions, 0 deletions