From fa6e819f9ab398a34c55ad04024b38f64fa03618 Mon Sep 17 00:00:00 2001
From: Benjamin Lamowski <benjamin.lamowski@genode-labs.com>
Date: Mon, 19 Dec 2022 13:32:35 +0100
Subject: [PATCH] base-hw: x86: use Vcpu_state as Vm_state

Ref #4826
---
 .../include/spec/x86_64/cpu/vm_state_virtualization.h    | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/repos/base-hw/include/spec/x86_64/cpu/vm_state_virtualization.h b/repos/base-hw/include/spec/x86_64/cpu/vm_state_virtualization.h
index 3eeed7bbb3..5b4871f194 100644
--- a/repos/base-hw/include/spec/x86_64/cpu/vm_state_virtualization.h
+++ b/repos/base-hw/include/spec/x86_64/cpu/vm_state_virtualization.h
@@ -14,6 +14,9 @@
 #ifndef _INCLUDE__SPEC__PC__VM_STATE_H_
 #define _INCLUDE__SPEC__PC__VM_STATE_H_
 
+/* x86 CPU state */
+#include <cpu/vcpu_state.h>
+
 namespace Genode {
 
 	/**
@@ -22,9 +25,7 @@ namespace Genode {
 	struct Vm_state;
 }
 
-
-struct Genode::Vm_state
-{
-};
+struct Genode::Vm_state : Genode::Vcpu_state
+{};
 
 #endif /* _INCLUDE__SPEC__PC__VM_STATE_H_ */