Searched refs:cil_destroy_level (Results 1 – 4 of 4) sorted by relevance
162 void cil_destroy_level(struct cil_level *level);
1413 cil_destroy_level(usrlvl->level); in cil_destroy_userlevel()3791 cil_destroy_level(level); in cil_gen_level()3796 void cil_destroy_level(struct cil_level *level) in cil_destroy_level() function3912 cil_destroy_level(lvlrange->low); in cil_destroy_levelrange()3916 cil_destroy_level(lvlrange->high); in cil_destroy_levelrange()5242 cil_destroy_level((struct cil_level *)args->arg); in cil_destroy_args()
654 cil_destroy_level(*data); in cil_destroy_data()
2787 cil_destroy_level(level); in cil_resolve_call1()