diff options
| author | Tim Deegan <Tim.Deegan@citrix.com> | 2011-01-13 15:46:13 +0000 |
|---|---|---|
| committer | Tim Deegan <Tim.Deegan@citrix.com> | 2011-01-13 15:46:13 +0000 |
| commit | 4e985437cc86d73a4a0db5764497ee4799c26b0d (patch) | |
| tree | 76c5aa091a41ab63d896950c73afa54e8a74fb21 /unmodified_drivers | |
| parent | 281e68cc3315b89eb4e7b83a7e54354ced7e8ff4 (diff) | |
| download | xen-4e985437cc86d73a4a0db5764497ee4799c26b0d.tar.gz xen-4e985437cc86d73a4a0db5764497ee4799c26b0d.tar.bz2 xen-4e985437cc86d73a4a0db5764497ee4799c26b0d.zip | |
x86/mm: make page-sharing use the proper typecount functions
instead of having its own cmpxchg loops.
This should remove some confusion about the use of PGT_none,
and also makes page-sharing participate properly in the TLB
flushing discipline.
Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
Diffstat (limited to 'unmodified_drivers')
0 files changed, 0 insertions, 0 deletions