mark_unsync      2199 arch/x86/kvm/mmu.c static void mark_unsync(u64 *spte);
mark_unsync      2206 arch/x86/kvm/mmu.c 		mark_unsync(sptep);
mark_unsync      2723 arch/x86/kvm/mmu.c 		mark_unsync(sptep);