Searched refs:cil_printf (Results 1 – 1 of 1) sorted by relevance
97 static void cil_printf(const char *fmt, ...) { in cil_printf() function532 cil_printf("(%s ", pdb->p_sens_val_to_name[level->sens - sens_offset]); in semantic_level_to_cil()535 cil_printf("("); in semantic_level_to_cil()540 cil_printf("%s", pdb->p_cat_val_to_name[cat->low - 1]); in semantic_level_to_cil()542 …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()546 cil_printf(" "); in semantic_level_to_cil()551 cil_printf(")"); in semantic_level_to_cil()554 cil_printf(")"); in semantic_level_to_cil()653 cil_printf(" "); in xperms_to_cil()661 cil_printf("(range 0x%hx 0x%hx)", low_value, value); in xperms_to_cil()[all …]