smack_log
void smack_log(char *subject_label, char *object_label,
smack_log(subject->smk_known, object->smk_known,
smack_log(sbj_known->smk_known, obj_known->smk_known,
smack_log(skp->smk_known, tkp->smk_known, MAY_DELIVER, rc, &ad);
smack_log(tracer_known->smk_known,