vcpu_cache_mmio_info 3441 arch/x86/kvm/mmu.c 		vcpu_cache_mmio_info(vcpu, gva, gfn,
vcpu_cache_mmio_info 4110 arch/x86/kvm/mmu.c 		vcpu_cache_mmio_info(vcpu, addr, gfn, access);