|
@@ -504,6 +504,7 @@ int kvm_setup_pio(struct kvm_vcpu *vcpu, struct kvm_run *run, int in,
|
|
|
int size, unsigned long count, int string, int down,
|
|
|
gva_t address, int rep, unsigned port);
|
|
|
void kvm_emulate_cpuid(struct kvm_vcpu *vcpu);
|
|
|
+int kvm_emulate_halt(struct kvm_vcpu *vcpu);
|
|
|
int emulate_invlpg(struct kvm_vcpu *vcpu, gva_t address);
|
|
|
int emulate_clts(struct kvm_vcpu *vcpu);
|
|
|
int emulator_get_dr(struct x86_emulate_ctxt* ctxt, int dr,
|