diff options
| author | Yaozu Dong | 2007-04-25 08:17:25 +0200 |
|---|---|---|
| committer | Avi Kivity | 2007-05-03 09:52:30 +0200 |
| commit | d6c69ee9a24b307ce94e55ebfba6208a830c9ecb (patch) | |
| tree | 6e3d10f96412932e4e8d3b7cbbc1c0c85189ad6f /drivers/kvm/mmu.c | |
| parent | KVM: VMX: Only save/restore MSR_K6_STAR if necessary (diff) | |
| download | kernel-qcow2-linux-d6c69ee9a24b307ce94e55ebfba6208a830c9ecb.tar.gz kernel-qcow2-linux-d6c69ee9a24b307ce94e55ebfba6208a830c9ecb.tar.xz kernel-qcow2-linux-d6c69ee9a24b307ce94e55ebfba6208a830c9ecb.zip | |
KVM: MMU: Avoid heavy ASSERT at non debug mode.
Signed-off-by: Avi Kivity <avi@qumranet.com>
Diffstat (limited to 'drivers/kvm/mmu.c')
| -rw-r--r-- | drivers/kvm/mmu.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/drivers/kvm/mmu.c b/drivers/kvm/mmu.c index c814394a966d..8ccf84e3fda8 100644 --- a/drivers/kvm/mmu.c +++ b/drivers/kvm/mmu.c @@ -52,11 +52,15 @@ static void kvm_mmu_audit(struct kvm_vcpu *vcpu, const char *msg) {} static int dbg = 1; #endif +#ifndef MMU_DEBUG +#define ASSERT(x) do { } while (0) +#else #define ASSERT(x) \ if (!(x)) { \ printk(KERN_WARNING "assertion failed %s:%d: %s\n", \ __FILE__, __LINE__, #x); \ } +#endif #define PT64_PT_BITS 9 #define PT64_ENT_PER_PAGE (1 << PT64_PT_BITS) @@ -434,6 +438,7 @@ static void rmap_write_protect(struct kvm_vcpu *vcpu, u64 gfn) } } +#ifdef MMU_DEBUG static int is_empty_shadow_page(hpa_t page_hpa) { u64 *pos; @@ -448,6 +453,7 @@ static int is_empty_shadow_page(hpa_t page_hpa) } return 1; } +#endif static void kvm_mmu_free_page(struct kvm_vcpu *vcpu, hpa_t page_hpa) { |