Symbol: mmu_sync_children
arch/x86/kvm/mmu/mmu.c
4356
mmu_sync_children(vcpu, sp, true);
arch/x86/kvm/mmu/mmu.c
4368
mmu_sync_children(vcpu, sp, true);
arch/x86/kvm/mmu/paging_tmpl.h
718
mmu_sync_children(vcpu, sp, false))