sec_status_secure_sentinel_fail
msg_security == sec_status_secure_sentinel_fail)
rep->security == sec_status_secure_sentinel_fail)) {
rep->security == sec_status_secure_sentinel_fail)) {
rep->security == sec_status_secure_sentinel_fail)) {
msg->rep->security == sec_status_secure_sentinel_fail)) {
case sec_status_secure_sentinel_fail: return "sec_status_secure_sentinel_fail";
sec_status_secure_sentinel_fail;
sec_status_secure_sentinel_fail;
vq->orig_msg->rep->security != sec_status_secure_sentinel_fail
case sec_status_secure_sentinel_fail:
check_delegation_secure(msg->rep) == sec_status_secure_sentinel_fail) &&
rep->security == sec_status_secure_sentinel_fail)) {
msg_security == sec_status_secure_sentinel_fail)
rep->security == sec_status_secure_sentinel_fail)) {
rep->security == sec_status_secure_sentinel_fail)) {
rep->security == sec_status_secure_sentinel_fail)) {
msg->rep->security == sec_status_secure_sentinel_fail)) {
case sec_status_secure_sentinel_fail: return "sec_status_secure_sentinel_fail";
sec_status_secure_sentinel_fail;
sec_status_secure_sentinel_fail;
vq->orig_msg->rep->security != sec_status_secure_sentinel_fail