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)