Searched refs:cil_destroy_rangetransition (Results 1 – 3 of 3) sorted by relevance
148 void cil_destroy_rangetransition(struct cil_rangetransition *rangetrans);
688 cil_destroy_rangetransition(*data); in cil_destroy_data()
3396 cil_destroy_rangetransition(rangetrans); in cil_gen_rangetransition()3400 void cil_destroy_rangetransition(struct cil_rangetransition *rangetrans) in cil_destroy_rangetransition() function