set_spte_ret 3159 arch/x86/kvm/mmu.c int set_spte_ret; set_spte_ret 3188 arch/x86/kvm/mmu.c set_spte_ret = set_spte(vcpu, sptep, pte_access, level, gfn, pfn, set_spte_ret 3190 arch/x86/kvm/mmu.c if (set_spte_ret & SET_SPTE_WRITE_PROTECTED_PT) { set_spte_ret 3196 arch/x86/kvm/mmu.c if (set_spte_ret & SET_SPTE_NEED_REMOTE_TLB_FLUSH || flush) set_spte_ret 1012 arch/x86/kvm/paging_tmpl.h int set_spte_ret = 0; set_spte_ret 1069 arch/x86/kvm/paging_tmpl.h set_spte_ret |= set_spte(vcpu, &sp->spt[i], set_spte_ret 1075 arch/x86/kvm/paging_tmpl.h if (set_spte_ret & SET_SPTE_NEED_REMOTE_TLB_FLUSH)