update

[l4.git] / l4 / pkg / l4sys / include / __vm-vmx.h

diff --git a/l4/pkg/l4sys/include/__vm-vmx.h b/l4/pkg/l4sys/include/__vm-vmx.h
index 846d1d7b9e56446119e553c04ec78e3c8f0c63c3..3ed3c0f464c02114cd873b1b66aece35f5265ca8 100644 (file)
--- a/l4/pkg/l4sys/include/__vm-vmx.h
+++ b/l4/pkg/l4sys/include/__vm-vmx.h
@@ -397,8 +397,7 @@ L4_INLINE
 void
 l4_vm_vmx_copy_state(void const *vmcs, void *_dst, void const *_src) L4_NOTHROW
 {
-  l4_uint8_t const *offsets = (l4_uint8_t const *)vmcs;
-  offsets += 0x20;
+  l4_uint8_t const *offsets = (l4_uint8_t const *)vmcs + 0x20;
 
   unsigned offs = offsets[28] * 64;
   unsigned size = offsets[29] * 64;