1347 static void btf_int128_shift(u64 *print_num, u16 left_shift_bits,  in btf_int128_shift()  argument
1353 	upper_num = print_num[0];  in btf_int128_shift()
1354 	lower_num = print_num[1];  in btf_int128_shift()
1356 	upper_num = print_num[1];  in btf_int128_shift()
1357 	lower_num = print_num[0];  in btf_int128_shift()
1380 	print_num[0] = upper_num;  in btf_int128_shift()
1381 	print_num[1] = lower_num;  in btf_int128_shift()
1383 	print_num[0] = lower_num;  in btf_int128_shift()
1384 	print_num[1] = upper_num;  in btf_int128_shift()
1394 	u64 print_num[2] = {};  in btf_bitfield_seq_show()  local
1399 	memcpy(print_num, data, nr_copy_bytes);  in btf_bitfield_seq_show()
1408 	btf_int128_shift(print_num, left_shift_bits, right_shift_bits);  in btf_bitfield_seq_show()
1409 	btf_int128_print(m, print_num);  in btf_bitfield_seq_show()