kvm_mmu_set_base_ptes 3301 arch/x86/kvm/vmx.c 		kvm_mmu_set_base_ptes(VMX_EPT_READABLE_MASK |
kvm_mmu_set_base_ptes 2474 arch/x86/kvm/x86.c 	kvm_mmu_set_base_ptes(PT_PRESENT_MASK);
kvm_mmu_set_base_ptes  451 include/asm-x86/kvm_host.h void kvm_mmu_set_base_ptes(u64 base_pte);