Lines Matching defs:high
543 if (cat->low == cat->high) {
546 cil_printf("range %s %s", pdb->p_cat_val_to_name[cat->low - 1], pdb->p_cat_val_to_name[cat->high - 1]);
647 /* continue until high value found */
2049 case DEFAULT_SOURCE_HIGH: dflt = "source high"; break;
2050 case DEFAULT_SOURCE_LOW_HIGH: dflt = "source low-high"; break;
2052 case DEFAULT_TARGET_HIGH: dflt = "target high"; break;
2053 case DEFAULT_TARGET_LOW_HIGH: dflt = "target low-high"; break;
2630 uint16_t high;
2647 high = portcon->u.port.high_port;
2649 if (low == high) {
2652 cil_printf("(portcon %s (%i %i) ", protocol, low, high);
2672 uint16_t high;
2677 high = ibpkeycon->u.ibpkey.high_pkey;
2688 if (low == high)
2692 high);
2861 uint32_t high;
2865 high = ioport->u.ioport.high_ioport;
2867 if (low == high) {
2870 cil_printf("(ioportcon (0x%x 0x%x) ", low, high);
2885 uint64_t high;
2889 high = iomem->u.iomem.high_iomem;
2891 if (low == high) {
2894 cil_printf("(iomemcon (0x%"PRIx64" 0x%"PRIx64") ", low, high);
3061 char *high;
3065 low = high = levelrangestr;
3069 high = ranged + 1;
3074 level_string_to_cil(high);