276 static void btf_int128_shift(__u64 *print_num, __u16 left_shift_bits,  in btf_int128_shift()  argument
282 	upper_num = print_num[0];  in btf_int128_shift()
283 	lower_num = print_num[1];  in btf_int128_shift()
285 	upper_num = print_num[1];  in btf_int128_shift()
286 	lower_num = print_num[0];  in btf_int128_shift()
309 	print_num[0] = upper_num;  in btf_int128_shift()
310 	print_num[1] = lower_num;  in btf_int128_shift()
312 	print_num[0] = lower_num;  in btf_int128_shift()
313 	print_num[1] = upper_num;  in btf_int128_shift()
322 	__u64 print_num[2] = {};  in btf_dumper_bitfield()  local
329 	memcpy(print_num, data, bytes_to_copy);  in btf_dumper_bitfield()
339 	btf_int128_shift(print_num, left_shift_bits, right_shift_bits);  in btf_dumper_bitfield()
340 	btf_int128_print(jw, print_num, is_plain_text);  in btf_dumper_bitfield()