vmm: Moves gpci into guest_thread
[akaros.git] / user / vmm / vmm.c
index ac83066..7db2856 100644 (file)
@@ -24,7 +24,7 @@ int vmm_interrupt_guest(struct virtual_machine *vm, unsigned int gpcoreid,
                return -1;
        }
        gth = vm->gths[gpcoreid];
-       gpci = &vm->gpcis[gpcoreid];
+       gpci = gth_to_gpci(gth);
        /* The OUTSTANDING_NOTIF bit (256) is one greater than the last valid
         * descriptor */
        if (vector >= VMX_POSTED_OUTSTANDING_NOTIF) {