d9225244af
Add an option to inject back a GPF for unknown MSRs. Keep it on by default for now as Linux expects accesses to some AMD-specific MSRs to always succeed when on an AMD host. Signed-off-by: Mohamed Mediouni <mohamed@unpredictable.fr> Link: https://lore.kernel.org/r/20260422214225.2242-18-mohamed@unpredictable.fr Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
29 lines
902 B
C
29 lines
902 B
C
/* 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);
|
|
void whpx_arch_accel_class_init(ObjectClass *oc);
|
|
|
|
/* called by whpx-accel-ops */
|
|
bool whpx_arch_supports_guest_debug(void);
|
|
|
|
#endif
|