val_check_nonsecure
void val_check_nonsecure(struct module_env* env, struct reply_info* rep);
val_check_nonsecure(qstate->env, vq->orig_msg->rep);
void val_check_nonsecure(struct module_env* env, struct reply_info* rep);
val_check_nonsecure(qstate->env, vq->orig_msg->rep);