VRK_INIT
if (vvr.kind != VRK_RESET && vvr.kind != VRK_INIT) {
error = vcpu_arch_reset(sc->vmm_vm, vcpu, vvr.kind == VRK_INIT);