KVM_GET_REGS
vcpu_ioctl(vcpu, KVM_GET_REGS, regs);
ASSERT_EQ(0, ioctl(self->vcpu_fd, KVM_GET_REGS, ®s));
case KVM_GET_REGS: {