Lines Matching defs:high
712 dft = "source high";
715 dft = "source low-high";
721 dft = "target high";
724 dft = "target low-high";
1657 /* continue until high value found */
1963 char *high = NULL;
1971 high = level_to_str(pdb, &range->level[1]);
1972 if (!high) {
1976 range_str = create_str("(%s %s)", 2, low, high);
1980 free(high);
2747 uint16_t high;
2748 char low_high_str[44]; /* 2^64 <= 20 digits so "(low high)" <= 44 chars */
2765 high = portcon->u.port.high_port;
2766 if (low == high) {
2769 rc = snprintf(low_high_str, 44, "(%u %u)", low, high);
2917 uint16_t high;
2918 char low_high_str[44]; /* 2^64 <= 20 digits so "(low high)" <= 44 chars */
2935 high = ibpkeycon->u.ibpkey.high_pkey;
2936 if (low == high) {
2939 rc = snprintf(low_high_str, 44, "(%u %u)", low, high);
3048 uint32_t high;
3049 char low_high_str[40]; /* 2^64-1 <= 16 digits (hex) so (low high) < 40 chars */
3055 high = ioport->u.ioport.high_ioport;
3056 if (low == high) {
3059 rc = snprintf(low_high_str, 40, "(0x%x 0x%x)", low, high);
3091 uint64_t high;
3092 char low_high_str[40]; /* 2^64-1 <= 16 digits (hex) so (low high) < 40 chars */
3098 high = iomem->u.iomem.high_iomem;
3099 if (low == high) {
3102 rc = snprintf(low_high_str, 40, "(0x%"PRIx64" 0x%"PRIx64")", low, high);
3133 char device_str[20]; /* 2^64-1 <= 16 digits (hex) so (low high) < 19 chars */