update

[l4.git] / l4 / pkg / examples / sys / vmtest / main.c

diff --git a/l4/pkg/examples/sys/vmtest/main.c b/l4/pkg/examples/sys/vmtest/main.c
index 88197007092e713495b27650adee1e42447a3aa9..4017b2f31a32e0bb3896331f1581c946875073bb 100644 (file)
--- a/l4/pkg/examples/sys/vmtest/main.c
+++ b/l4/pkg/examples/sys/vmtest/main.c
@@ -149,7 +149,6 @@ static void handler(void) {
 }
 
 void vm_resume(void) {
-    unsigned long long old_rip;
     l4_msgtag_t tag;
 
 //    if ((vmcb_s->state_save_area.rip >= marker)) {
@@ -164,8 +163,6 @@ void vm_resume(void) {
     //vmcb_s->control_area.exitcode = 0x100 << i;
     vmcb_s->control_area.exitcode = 0;
 
-    old_rip = vmcb_s->state_save_area.rip;
-
     tag = l4_thread_vcpu_resume_commit(L4_INVALID_CAP,
             l4_thread_vcpu_resume_start());
     if (l4_error(tag))