2253 	u64 upper_num, lower_num;  in btf_int128_print()  local
2256 	upper_num = *(u64 *)data;  in btf_int128_print()
2259 	upper_num = *(u64 *)(data + 8);  in btf_int128_print()
2262 	if (upper_num == 0)  in btf_int128_print()
2265 		btf_show_type_values(show, "0x%llx%016llx", upper_num,  in btf_int128_print()
2272 	u64 upper_num, lower_num;  in btf_int128_shift()  local
2275 	upper_num = print_num[0];  in btf_int128_shift()
2278 	upper_num = print_num[1];  in btf_int128_shift()
2284 		upper_num = lower_num << (left_shift_bits - 64);  in btf_int128_shift()
2287 		upper_num = (upper_num << left_shift_bits) |  in btf_int128_shift()
2293 		lower_num = upper_num >> (right_shift_bits - 64);  in btf_int128_shift()
2294 		upper_num = 0;  in btf_int128_shift()
2297 			    (upper_num << (64 - right_shift_bits));  in btf_int128_shift()
2298 		upper_num = upper_num >> right_shift_bits;  in btf_int128_shift()
2302 	print_num[0] = upper_num;  in btf_int128_shift()
2306 	print_num[1] = upper_num;  in btf_int128_shift()