bdpayne/libvmi — pull request #144 by tklengyel (2014-03-20 20:24:42+00:00)
Title: Set vcpu context on 32-bit PV Xen domains as well

The existing function missed actually setting the context via xc_vcpu_setcontext.