diff options
| author | Tim Deegan <Tim.Deegan@xensource.com> | 2006-12-20 11:54:57 +0000 |
|---|---|---|
| committer | Tim Deegan <Tim.Deegan@xensource.com> | 2006-12-20 11:54:57 +0000 |
| commit | 4858779208ccf5e131fc450db6b555468a233615 (patch) | |
| tree | 270e40944ac3d52fcb8816e8552041bef10358d5 /xen/include/asm-x86/shadow.h | |
| parent | 2716d15280677f9c507568381a30c1d6f82eae43 (diff) | |
| download | xen-4858779208ccf5e131fc450db6b555468a233615.tar.gz xen-4858779208ccf5e131fc450db6b555468a233615.tar.bz2 xen-4858779208ccf5e131fc450db6b555468a233615.zip | |
[XEN] Skip shadowing of guest PTE writes when known to be safe
That is, when the guest replaces a not-present pte with another one
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
Diffstat (limited to 'xen/include/asm-x86/shadow.h')
| -rw-r--r-- | xen/include/asm-x86/shadow.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xen/include/asm-x86/shadow.h b/xen/include/asm-x86/shadow.h index 94591e6dad..4b9094cb7c 100644 --- a/xen/include/asm-x86/shadow.h +++ b/xen/include/asm-x86/shadow.h @@ -159,8 +159,9 @@ extern int shadow_audit_enable; #define SHOPT_FAST_FAULT_PATH 0x04 /* Fast-path MMIO and not-present */ #define SHOPT_PREFETCH 0x08 /* Shadow multiple entries per fault */ #define SHOPT_LINUX_L3_TOPLEVEL 0x10 /* Pin l3es on early 64bit linux */ +#define SHOPT_SKIP_VERIFY 0x20 /* Skip PTE v'fy when safe to do so */ -#define SHADOW_OPTIMIZATIONS 0x1f +#define SHADOW_OPTIMIZATIONS 0x3f /* With shadow pagetables, the different kinds of address start |