+ 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 */
+ }
+
+ }