diff options
| author | Keir Fraser <keir@xen.org> | 2012-09-12 13:59:26 +0100 |
|---|---|---|
| committer | Keir Fraser <keir@xen.org> | 2012-09-12 13:59:26 +0100 |
| commit | 218adf199e6868eb4a15644a63e6991ede1613bc (patch) | |
| tree | faa5070fb10dee2354b8c753385e10fc32668a2d /xen/include/asm-x86/paging.h | |
| parent | 5d1181a5ea5e0f11d481a94b16ed00d883f9726e (diff) | |
| download | xen-218adf199e6868eb4a15644a63e6991ede1613bc.tar.gz xen-218adf199e6868eb4a15644a63e6991ede1613bc.tar.bz2 xen-218adf199e6868eb4a15644a63e6991ede1613bc.zip | |
x86: We can assume CONFIG_PAGING_LEVELS==4.
Signed-off-by: Keir Fraser <keir@xen.org>
Diffstat (limited to 'xen/include/asm-x86/paging.h')
| -rw-r--r-- | xen/include/asm-x86/paging.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/xen/include/asm-x86/paging.h b/xen/include/asm-x86/paging.h index 46b281ce98..d9b6950699 100644 --- a/xen/include/asm-x86/paging.h +++ b/xen/include/asm-x86/paging.h @@ -327,17 +327,7 @@ static inline int paging_cmpxchg_guest_entry(struct vcpu *v, intpte_t *p, * never sees a half-written entry that has _PAGE_PRESENT set */ static inline void safe_write_pte(l1_pgentry_t *p, l1_pgentry_t new) { -#if CONFIG_PAGING_LEVELS == 3 - /* PAE machines write 64bit PTEs as two 32bit writes. */ - volatile unsigned long *d = (unsigned long *) p; - unsigned long *s = (unsigned long *) &new; - BUILD_BUG_ON(sizeof (l1_pgentry_t) != 2 * sizeof (unsigned long)); - d[0] = 0; - d[1] = s[1]; - d[0] = s[0]; -#else *p = new; -#endif } /* Atomically write a P2M entry and update the paging-assistance state |