1332 	u64 upper_num, lower_num;  in btf_int128_print()  local
1336 	lower_num = *(u64 *)(data + 8);  in btf_int128_print()
1339 	lower_num = *(u64 *)data;  in btf_int128_print()
1342 		seq_printf(m, "0x%llx", lower_num);  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
1354 	lower_num = print_num[1];  in btf_int128_shift()
1357 	lower_num = print_num[0];  in btf_int128_shift()
1362 		upper_num = lower_num << (left_shift_bits - 64);  in btf_int128_shift()
1363 		lower_num = 0;  in btf_int128_shift()
1366 			    (lower_num >> (64 - left_shift_bits));  in btf_int128_shift()
1367 		lower_num = lower_num << left_shift_bits;  in btf_int128_shift()
1371 		lower_num = upper_num >> (right_shift_bits - 64);  in btf_int128_shift()
1374 		lower_num = (lower_num >> right_shift_bits) |  in btf_int128_shift()
1381 	print_num[1] = lower_num;  in btf_int128_shift()
1383 	print_num[0] = lower_num;  in btf_int128_shift()