Refinements in suspending a VM