Searched refs:DEFAULT_TARGET_HIGH (Results 1 – 4 of 4) sorted by relevance
127 #define DEFAULT_TARGET_HIGH 5 macro
855 CIL_DEFAULT_TARGET_HIGH = DEFAULT_TARGET_HIGH,
239 {if (define_default_range(DEFAULT_TARGET_HIGH)) return -1; }
1945 case DEFAULT_TARGET_HIGH: dflt = "target high"; break; in class_to_cil()