vm_session: add fpu state for x86

Issue #3111
2019-05-20 15:36:47 +02:00
parent 5673c163fb
commit ab6315d6b4
5 changed files with 45 additions and 5 deletions
--- a/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
+++ b/repos/base-sel4/src/core/spec/x86/vm_session_component.cc
@@ -13,6 +13,7 @@

 /* base includes */
 #include <util/flex_iterator.h>
+#include <cpu/vm_state.h>

 /* core includes */
 #include <core_env.h>
@@ -45,7 +46,8 @@ Vm_session_component::Vcpu::Vcpu(Constrained_ram_allocator &ram_alloc,
                                 seL4_Untyped const service)
 :
 	_ram_alloc(ram_alloc),
-	_ds_cap (_ram_alloc.alloc(4096, Cache_attribute::CACHED)),
+	_ds_cap (_ram_alloc.alloc(align_addr(sizeof(Genode::Vm_state), 12),
+	                          Cache_attribute::CACHED)),
 	_vcpu_id(vcpu_id)
 {
 	try {