Update

[l4.git] / l4 / pkg / l4re-core / l4sys / include / __vm-svm.h

diff --git a/l4/pkg/l4sys/include/__vm-svm.h b/l4/pkg/l4re-core/l4sys/include/__vm-svm.h
similarity index 98%
rename from l4/pkg/l4sys/include/__vm-svm.h
rename to l4/pkg/l4re-core/l4sys/include/__vm-svm.h
index a064c79707bff424bf7626d1833191061dc721e8..8f6aada2cd74c1422c5f698ad5e94c784c11c7ae 100644 (file)
--- a/l4/pkg/l4sys/include/__vm-svm.h
+++ b/l4/pkg/l4re-core/l4sys/include/__vm-svm.h
@@ -71,8 +71,10 @@ typedef struct l4_vm_svm_vmcb_control_area
   l4_uint64_t eventinj;
   l4_uint64_t n_cr3;
   l4_uint64_t lbr_virtualization_enable;
+  l4_uint64_t clean_bits;
+  l4_uint64_t n_rip;
 
-  l4_uint8_t _reserved2[832];
+  l4_uint8_t _reserved2[816];
 } __attribute__((packed)) l4_vm_svm_vmcb_control_area_t;
 
 /**