|
@@ -611,7 +611,6 @@ void kvm_mmu_destroy(struct kvm_vcpu *vcpu);
|
|
|
int kvm_mmu_create(struct kvm_vcpu *vcpu);
|
|
|
int kvm_mmu_setup(struct kvm_vcpu *vcpu);
|
|
|
void kvm_mmu_set_nonpresent_ptes(u64 trap_pte, u64 notrap_pte);
|
|
|
-void kvm_mmu_set_base_ptes(u64 base_pte);
|
|
|
void kvm_mmu_set_mask_ptes(u64 user_mask, u64 accessed_mask,
|
|
|
u64 dirty_mask, u64 nx_mask, u64 x_mask);
|
|
|
|