109 static void btf_int128_shift(__u64 *print_num, u16 left_shift_bits,  in btf_int128_shift()  argument
115 	upper_num = print_num[0];  in btf_int128_shift()
116 	lower_num = print_num[1];  in btf_int128_shift()
118 	upper_num = print_num[1];  in btf_int128_shift()
119 	lower_num = print_num[0];  in btf_int128_shift()
142 	print_num[0] = upper_num;  in btf_int128_shift()
143 	print_num[1] = lower_num;  in btf_int128_shift()
145 	print_num[0] = lower_num;  in btf_int128_shift()
146 	print_num[1] = upper_num;  in btf_int128_shift()
155 	__u64 print_num[2] = {};  in btf_dumper_bitfield()  local
162 	memcpy(print_num, data, bytes_to_copy);  in btf_dumper_bitfield()
172 	btf_int128_shift(print_num, left_shift_bits, right_shift_bits);  in btf_dumper_bitfield()
173 	btf_int128_print(jw, print_num, is_plain_text);  in btf_dumper_bitfield()