|
@@ -53,7 +53,7 @@ DECLARE_STATIC_KEY_FALSE(userspace_irqchip_in_use);
|
|
|
|
|
|
int __attribute_const__ kvm_target_cpu(void);
|
|
int __attribute_const__ kvm_target_cpu(void);
|
|
int kvm_reset_vcpu(struct kvm_vcpu *vcpu);
|
|
int kvm_reset_vcpu(struct kvm_vcpu *vcpu);
|
|
-int kvm_arch_dev_ioctl_check_extension(struct kvm *kvm, long ext);
|
|
|
|
|
|
+int kvm_arch_vm_ioctl_check_extension(struct kvm *kvm, long ext);
|
|
void __extended_idmap_trampoline(phys_addr_t boot_pgd, phys_addr_t idmap_start);
|
|
void __extended_idmap_trampoline(phys_addr_t boot_pgd, phys_addr_t idmap_start);
|
|
|
|
|
|
struct kvm_arch {
|
|
struct kvm_arch {
|