Symbol: mmu_sync_children
arch/x86/kvm/mmu/mmu.c
4304
mmu_sync_children(vcpu, sp, true);
arch/x86/kvm/mmu/mmu.c
4316
mmu_sync_children(vcpu, sp, true);
arch/x86/kvm/mmu/paging_tmpl.h
681
mmu_sync_children(vcpu, sp, false))