|
@@ -47,7 +47,7 @@
|
|
|
|
|
|
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(long ext);
|
|
|
|
|
|
+int kvm_arch_dev_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 {
|