SMK_FIXED24_FMT
&tsp->smk_rules_lock, SMK_FIXED24_FMT);
if (format == SMK_FIXED24_FMT) {
if (format == SMK_FIXED24_FMT)
return smk_user_access(file, buf, count, ppos, SMK_FIXED24_FMT);
if (format == SMK_FIXED24_FMT) {
if (format == SMK_FIXED24_FMT) {
SMK_FIXED24_FMT);
if (format == SMK_FIXED24_FMT &&
if (format == SMK_FIXED24_FMT)
if (format == SMK_FIXED24_FMT &&
return smk_set_cipso(file, buf, count, ppos, SMK_FIXED24_FMT);