void hax_reset_vcpu_state(void *opaque);
#include "target-i386/hax-interface.h"
#include "target-i386/hax-i386.h"
+int hax_handle_fastmmio(CPUArchState *env, struct hax_fastmmio *hft);
#endif
#else
}
}
-int hax_handle_fastmmio(CPUArchState *env, struct hax_fastmmio *hft)
+int hax_handle_fastmmio(CPUArchState *env, struct hax_fastmmio *hft)
{
uint64_t buf = 0;
/*
{
int ret = 0;
CPUState *cpu = ENV_GET_CPU(env);
+ X86CPU *x86_cpu = X86_CPU(cpu);
struct hax_vcpu_state *vcpu = cpu->hax_vcpu;
struct hax_tunnel *ht = vcpu->tunnel;
if (cpu->interrupt_request & CPU_INTERRUPT_INIT) {
fprintf(stderr, "\nhax_vcpu_hax_exec: handling INIT for %d \n", cpu->cpu_index);
- do_cpu_init(cpu);
+ do_cpu_init(x86_cpu);
hax_vcpu_sync_state(env, 1);
}
if (cpu->interrupt_request & CPU_INTERRUPT_SIPI) {
fprintf(stderr, "hax_vcpu_hax_exec: handling SIPI for %d \n", cpu->cpu_index);
hax_vcpu_sync_state(env, 0);
- do_cpu_sipi(cpu);
+ do_cpu_sipi(x86_cpu);
hax_vcpu_sync_state(env, 1);
}