Searched refs:cil_userlevel (Results 1 – 9 of 9) sorted by relevance
466 struct cil_userlevel { struct1051 void cil_userlevel_init(struct cil_userlevel **usrlvl);
257 static inline void cil_reset_userlevel(struct cil_userlevel *userlevel) in cil_reset_userlevel()
88 void cil_destroy_userlevel(struct cil_userlevel *usrlvl);
550 struct cil_userlevel *usrlvl = (struct cil_userlevel *)node->data; in cil_write_userlevel()
447 struct cil_userlevel *orig = data; in cil_copy_userlevel()448 struct cil_userlevel *new = NULL; in cil_copy_userlevel()
760 struct cil_userlevel *usrlvl = node->data; in cil_tree_print_node()
2496 void cil_userlevel_init(struct cil_userlevel **usrlvl) in cil_userlevel_init()
1398 struct cil_userlevel *usrlvl = NULL; in cil_gen_userlevel()1436 void cil_destroy_userlevel(struct cil_userlevel *usrlvl) in cil_destroy_userlevel()
851 struct cil_userlevel *usrlvl = current->data; in cil_resolve_userlevel()