[RFC PATCH] target/i386: Report TPR accesses to HVF

["Philippe Mathieu-Daudé" <philmd@linaro.org>]

HVF should be able to handle task priority register accesses.

Cc: Sergio Andres Gomez Del Real <Sergio.G.DelReal@gmail.com>
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
---
RFC: Untested as I don't have access to such setup, noticed
during code review.
---
 target/i386/helper.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/target/i386/helper.c b/target/i386/helper.c
index e0aaed3c4c4..a0555e74cc6 100644
--- a/target/i386/helper.c
+++ b/target/i386/helper.c
@@ -549,7 +549,7 @@ void cpu_report_tpr_access(CPUX86State *env, TPRAccess access)
     X86CPU *cpu = env_archcpu(env);
     CPUState *cs = env_cpu(env);
 
-    if (kvm_enabled() || whpx_enabled() || nvmm_enabled()) {
+    if (kvm_enabled() || whpx_enabled() || nvmm_enabled() || hvf_enabled()) {
         env->tpr_access_type = access;
 
         cpu_interrupt(cs, CPU_INTERRUPT_TPR);
-- 
2.49.0