include/system/whpx-all.h

/* SPDX-License-Identifier: GPL-2.0-or-later */
#ifndef SYSTEM_WHPX_ALL_H
#define SYSTEM_WHPX_ALL_H

#include "system/whpx-accel-ops.h"

/* Called by whpx-common */
int whpx_vcpu_run(CPUState *cpu);
void whpx_get_registers(CPUState *cpu, WHPXStateLevel level);
void whpx_set_registers(CPUState *cpu, WHPXStateLevel level);
int whpx_accel_init(AccelState *as, MachineState *ms);
void whpx_cpu_instance_init(CPUState *cs);
HRESULT whpx_set_exception_exit_bitmap(UINT64 exceptions);
void whpx_apply_breakpoints(
struct whpx_breakpoint_collection *breakpoints,
    CPUState *cpu,
    bool resuming);
void whpx_translate_cpu_breakpoints(
    struct whpx_breakpoints *breakpoints,
    CPUState *cpu,
    int cpu_breakpoint_count);
void whpx_arch_destroy_vcpu(CPUState *cpu);

/* called by whpx-accel-ops */
bool whpx_arch_supports_guest_debug(void);

#endif