KVM_X86_REG_KVM
put_user(KVM_X86_REG_KVM(KVM_REG_GUEST_SSP), &user_list->reg[0]))
TEST_ASSERT_EQ(vcpu_has_reg(vcpu, KVM_X86_REG_KVM(reg)), has_reg);
r = __vcpu_get_reg(vcpu, KVM_X86_REG_KVM(reg), &val);
val = vcpu_get_reg(vcpu, KVM_X86_REG_KVM(reg));
vcpu_set_reg(vcpu, KVM_X86_REG_KVM(reg), write_val);
val = vcpu_get_reg(vcpu, KVM_X86_REG_KVM(reg));
r = __vcpu_set_reg(vcpu, KVM_X86_REG_KVM(reg), rsvd_val);