- vsv = act->mact.curctx->VMXsave; /* Get the top vector savearea */
-
- while(vsv && vsv->save_hdr.save_level) vsv = (savearea_vec *)vsv->save_hdr.save_prev; /* Find user context if any */
-
- if(!hw_lock_to((hw_lock_t)&act->mact.curctx->VMXsync, LockTimeOut)) { /* Get the sync lock */
- panic("act_machine_sv_free - timeout getting VMX sync lock\n"); /* Tell all and die */
- }
-
- vsvt = act->mact.curctx->VMXsave; /* Get the top of the chain */
- act->mact.curctx->VMXsave = vsv; /* Point to the user context */
- act->mact.curctx->VMXlevel = 0; /* Set the level to user */
- hw_lock_unlock((hw_lock_t)&act->mact.curctx->VMXsync); /* Unlock */
-
- while(vsvt) { /* Clear any VMX saved state */
- if (vsvt == vsv) break; /* Done when hit user if any */
- vpst = vsvt; /* Remember so we can toss this */
- vsvt = (savearea_vec *)vsvt->save_hdr.save_prev; /* Get one underneath our's */
- save_ret((savearea *)vpst); /* Release it */
- }
-
+ vsv = act->mact.curctx->VMXsave; /* Get the top vector savearea */
+
+ while(vsv) { /* Any VMX saved state? */
+ vpsv = vsv; /* Remember so we can toss this */
+ if (!vsv->save_hdr.save_level) break; /* Done when hit user if any */
+ vsv = (savearea_vec *)vsv->save_hdr.save_prev; /* Get one underneath our's */
+ save_ret((savearea *)vpsv); /* Release it */