diff options
| author | Keir Fraser <keir@xensource.com> | 2007-10-18 09:59:20 +0100 |
|---|---|---|
| committer | Keir Fraser <keir@xensource.com> | 2007-10-18 09:59:20 +0100 |
| commit | 4144e156c03c3cdd79a38710e4d12137995bf17a (patch) | |
| tree | e531e50a4f6ef8acddbdc83f1e4dba756d599913 /tools/flask/libflask | |
| parent | eb5916fb1fedde781742c924b6a13e482e92fca0 (diff) | |
| download | xen-4144e156c03c3cdd79a38710e4d12137995bf17a.tar.gz xen-4144e156c03c3cdd79a38710e4d12137995bf17a.tar.bz2 xen-4144e156c03c3cdd79a38710e4d12137995bf17a.zip | |
x86: Fix writable-pagetable cmpxchg path to properly adjust PTE (i.e.,
set _PAGE_GLOBAL for x86/64 guest user mappings).
Signed-off-by: Keir Fraser <keir@xensource.com>
Diffstat (limited to 'tools/flask/libflask')
0 files changed, 0 insertions, 0 deletions