kvm_is_valid_u_s_cet
if (CC(!kvm_is_valid_u_s_cet(vcpu, s_cet)) || CC(!IS_ALIGNED(ssp, 4)) ||
if (!kvm_is_valid_u_s_cet(vcpu, data))