|
@@ -370,6 +370,7 @@ void kvm_arm_init_debug(void);
|
|
void kvm_arm_setup_debug(struct kvm_vcpu *vcpu);
|
|
void kvm_arm_setup_debug(struct kvm_vcpu *vcpu);
|
|
void kvm_arm_clear_debug(struct kvm_vcpu *vcpu);
|
|
void kvm_arm_clear_debug(struct kvm_vcpu *vcpu);
|
|
void kvm_arm_reset_debug_ptr(struct kvm_vcpu *vcpu);
|
|
void kvm_arm_reset_debug_ptr(struct kvm_vcpu *vcpu);
|
|
|
|
+bool kvm_arm_handle_step_debug(struct kvm_vcpu *vcpu, struct kvm_run *run);
|
|
int kvm_arm_vcpu_arch_set_attr(struct kvm_vcpu *vcpu,
|
|
int kvm_arm_vcpu_arch_set_attr(struct kvm_vcpu *vcpu,
|
|
struct kvm_device_attr *attr);
|
|
struct kvm_device_attr *attr);
|
|
int kvm_arm_vcpu_arch_get_attr(struct kvm_vcpu *vcpu,
|
|
int kvm_arm_vcpu_arch_get_attr(struct kvm_vcpu *vcpu,
|