Searched refs:DEFAULT_SOURCE_HIGH (Results 1 – 4 of 4) sorted by relevance
124 #define DEFAULT_SOURCE_HIGH 2 macro
852 CIL_DEFAULT_SOURCE_HIGH = DEFAULT_SOURCE_HIGH,
233 {if (define_default_range(DEFAULT_SOURCE_HIGH)) return -1; }
1942 case DEFAULT_SOURCE_HIGH: dflt = "source high"; break; in class_to_cil()