Searched refs:cil_printf (Results 1 – 1 of 1) sorted by relevance
96 static void cil_printf(const char *fmt, ...) { in cil_printf() function531 cil_printf("(%s ", pdb->p_sens_val_to_name[level->sens - sens_offset]); in semantic_level_to_cil()534 cil_printf("("); in semantic_level_to_cil()539 cil_printf("%s", pdb->p_cat_val_to_name[cat->low - 1]); in semantic_level_to_cil()541 …cil_printf("range %s %s", pdb->p_cat_val_to_name[cat->low - 1], pdb->p_cat_val_to_name[cat->high -… in semantic_level_to_cil()545 cil_printf(" "); in semantic_level_to_cil()550 cil_printf(")"); in semantic_level_to_cil()553 cil_printf(")"); in semantic_level_to_cil()652 cil_printf(" "); in xperms_to_cil()660 cil_printf("(range 0x%hx 0x%hx)", low_value, value); in xperms_to_cil()[all …]