*/
if (hax_enabled()) {
int ret = hax_populate_ram((uint64_t)(uintptr_t)new_block->host,
- new_block->length);
+ new_block->max_length);
if (ret < 0) {
fprintf(stderr, "HAX failed to populate ram\n");
exit(-1);
{
/* Flush all emulation states */
tlb_flush(ENV_GET_CPU(env), 1);
- tb_flush(env);
+ tb_flush(ENV_GET_CPU(env));
/* Sync the vcpu state from hax kernel module */
hax_vcpu_sync_state(env, 0);
return 0;
}
static void hax_log_start(MemoryListener *listener,
- MemoryRegionSection *section)
+ MemoryRegionSection *section, int old, int new)
{
}
static void hax_log_stop(MemoryListener *listener,
- MemoryRegionSection *section)
+ MemoryRegionSection *section, int old, int new)
{
}