Searched refs:cil_userlevel (Results 1 – 8 of 8) sorted by relevance
476 struct cil_userlevel { struct1066 void cil_userlevel_init(struct cil_userlevel **usrlvl);
283 static inline void cil_reset_userlevel(struct cil_userlevel *userlevel) in cil_reset_userlevel()
90 void cil_destroy_userlevel(struct cil_userlevel *usrlvl);
456 struct cil_userlevel *orig = data; in cil_copy_userlevel()457 struct cil_userlevel *new = NULL; in cil_copy_userlevel()
955 struct cil_userlevel *userlevel = node->data; in cil_write_ast_node()
2744 void cil_userlevel_init(struct cil_userlevel **usrlvl) in cil_userlevel_init()
1462 struct cil_userlevel *usrlvl = NULL; in cil_gen_userlevel()1500 void cil_destroy_userlevel(struct cil_userlevel *usrlvl) in cil_destroy_userlevel()
856 struct cil_userlevel *usrlvl = current->data; in cil_resolve_userlevel()