kvm_mmu_set_mask_ptes 1261 arch/x86/include/asm/kvm_host.h void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
kvm_mmu_set_mask_ptes  538 arch/x86/kvm/mmu.c EXPORT_SYMBOL_GPL(kvm_mmu_set_mask_ptes);
kvm_mmu_set_mask_ptes 5326 arch/x86/kvm/vmx/vmx.c 	kvm_mmu_set_mask_ptes(VMX_EPT_READABLE_MASK,
kvm_mmu_set_mask_ptes 7295 arch/x86/kvm/x86.c 	kvm_mmu_set_mask_ptes(PT_USER_MASK, PT_ACCESSED_MASK,