X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/983fe7c4ac262f56d38a143b1efab1e4afb77a52..c02c23b58bcb65fea74d86d33bcc1b094ef97902:/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 881970070..4017b2f31 100644
--- 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))