MMIO_GVA_ANY
vcpu_clear_mmio_info(vcpu, MMIO_GVA_ANY);
vcpu_clear_mmio_info(vcpu, MMIO_GVA_ANY);
vcpu_clear_mmio_info(vcpu, MMIO_GVA_ANY);
if (gva != MMIO_GVA_ANY && vcpu->arch.mmio_gva != (gva & PAGE_MASK))