static void cil_simple_rules_to_policy(FILE *out, struct cil_list *rules, const char *kind)
{
struct cil_list_item *i1;
cil_list_for_each(i1, rules) {
fprintf(out, "%s %s;\n", kind, DATUM(i1->data)->fqn);
}
static tnf_datum_t
get_slot(tnf_datum_t datum, struct slot *slot)
{
if (slot == NULL) {
_tnf_error(DATUM_TNF(datum), TNF_ERR_BADSLOT); /* XXX */
return (TNF_DATUM_NULL);
} else if (INFO_TAGGED(slot->slot_type)) {
TNF *tnf;
tnf_ref32_t *rec;
tnf = DATUM_TNF(datum);
/* LINTED pointer cast may result in improper alignment */
rec = _GET_REF32(tnf, (tnf_ref32_t *)
(DATUM_VAL(datum) + slot->slot_offset));
/* NULL slots are allowed */
return ((rec == TNF_NULL)? TNF_DATUM_NULL :
RECORD_DATUM(tnf, rec));
} else /* inline */
return DATUM(slot->slot_type,
DATUM_VAL(datum) + slot->slot_offset);
}
