diff options
| author | Jeremy Fitzhardinge <jeremy@goop.org> | 2008-09-09 18:43:25 -0400 |
|---|---|---|
| committer | Ingo Molnar <mingo@elte.hu> | 2008-09-10 08:05:53 -0400 |
| commit | 6a9e91846bf52cc70a0417de19fdfac224c435c4 (patch) | |
| tree | 5ed5ec79c529aa3c579de3ac984d10f9d59c1b8f /arch/arm | |
| parent | 3ce9bcb583536c45a46c7302747029450e22279c (diff) | |
xen: fix pinning when not using split pte locks
We only pin PTE pages when using split PTE locks, so don't do the
pin/unpin when attaching/detaching pte pages to a pinned pagetable.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Diffstat (limited to 'arch/arm')
0 files changed, 0 insertions, 0 deletions