gpte_changed 555 arch/x86/kvm/paging_tmpl.h static bool FNAME(gpte_changed)(struct kvm_vcpu *vcpu, gpte_changed 637 arch/x86/kvm/paging_tmpl.h if (FNAME(gpte_changed)(vcpu, gw, top_level)) gpte_changed 662 arch/x86/kvm/paging_tmpl.h if (FNAME(gpte_changed)(vcpu, gw, it.level - 1))