nonpaging_prefetch_page  939 arch/x86/kvm/mmu.c 		nonpaging_prefetch_page(vcpu, sp);
nonpaging_prefetch_page 1491 arch/x86/kvm/mmu.c 	context->prefetch_page = nonpaging_prefetch_page;
nonpaging_prefetch_page 1578 arch/x86/kvm/mmu.c 	context->prefetch_page = nonpaging_prefetch_page;
nonpaging_prefetch_page  481 arch/x86/kvm/paging_tmpl.h 		nonpaging_prefetch_page(vcpu, sp);