Symbol: leaf_spte_change_needs_tlb_flush
arch/x86/kvm/mmu/mmu.c
513
return leaf_spte_change_needs_tlb_flush(old_spte, new_spte);
arch/x86/kvm/mmu/tdp_mmu.c
1200
WARN_ON_ONCE(leaf_spte_change_needs_tlb_flush(iter->old_spte, new_spte))))