1332 	u64 upper_num, lower_num;  in btf_int128_print()  local
1335 	upper_num = *(u64 *)data;  in btf_int128_print()
1338 	upper_num = *(u64 *)(data + 8);  in btf_int128_print()
1341 	if (upper_num == 0)  in btf_int128_print()
1344 		seq_printf(m, "0x%llx%016llx", upper_num, lower_num);  in btf_int128_print()
1350 	u64 upper_num, lower_num;  in btf_int128_shift()  local
1353 	upper_num = print_num[0];  in btf_int128_shift()
1356 	upper_num = print_num[1];  in btf_int128_shift()
1362 		upper_num = lower_num << (left_shift_bits - 64);  in btf_int128_shift()
1365 		upper_num = (upper_num << left_shift_bits) |  in btf_int128_shift()
1371 		lower_num = upper_num >> (right_shift_bits - 64);  in btf_int128_shift()
1372 		upper_num = 0;  in btf_int128_shift()
1375 			    (upper_num << (64 - right_shift_bits));  in btf_int128_shift()
1376 		upper_num = upper_num >> right_shift_bits;  in btf_int128_shift()
1380 	print_num[0] = upper_num;  in btf_int128_shift()
1384 	print_num[1] = upper_num;  in btf_int128_shift()