27 	call %[bpf_get_prandom_u32];			\  in add32_reg_zero_extend_check()
44 	call %[bpf_get_prandom_u32];			\  in add32_imm_zero_extend_check()
56 	call %[bpf_get_prandom_u32];			\  in add32_imm_zero_extend_check()
74 	call %[bpf_get_prandom_u32];			\  in sub32_reg_zero_extend_check()
91 	call %[bpf_get_prandom_u32];			\  in sub32_imm_zero_extend_check()
97 	call %[bpf_get_prandom_u32];			\  in sub32_imm_zero_extend_check()
115 	call %[bpf_get_prandom_u32];			\  in mul32_reg_zero_extend_check()
132 	call %[bpf_get_prandom_u32];			\  in mul32_imm_zero_extend_check()
138 	call %[bpf_get_prandom_u32];			\  in mul32_imm_zero_extend_check()
156 	call %[bpf_get_prandom_u32];			\  in div32_reg_zero_extend_check()
173 	call %[bpf_get_prandom_u32];			\  in div32_imm_zero_extend_check()
179 	call %[bpf_get_prandom_u32];			\  in div32_imm_zero_extend_check()
197 	call %[bpf_get_prandom_u32];			\  in or32_reg_zero_extend_check()
214 	call %[bpf_get_prandom_u32];			\  in or32_imm_zero_extend_check()
220 	call %[bpf_get_prandom_u32];			\  in or32_imm_zero_extend_check()
238 	call %[bpf_get_prandom_u32];			\  in and32_reg_zero_extend_check()
256 	call %[bpf_get_prandom_u32];			\  in and32_imm_zero_extend_check()
262 	call %[bpf_get_prandom_u32];			\  in and32_imm_zero_extend_check()
280 	call %[bpf_get_prandom_u32];			\  in lsh32_reg_zero_extend_check()
298 	call %[bpf_get_prandom_u32];			\  in lsh32_imm_zero_extend_check()
304 	call %[bpf_get_prandom_u32];			\  in lsh32_imm_zero_extend_check()
322 	call %[bpf_get_prandom_u32];			\  in rsh32_reg_zero_extend_check()
340 	call %[bpf_get_prandom_u32];			\  in rsh32_imm_zero_extend_check()
346 	call %[bpf_get_prandom_u32];			\  in rsh32_imm_zero_extend_check()
364 	call %[bpf_get_prandom_u32];			\  in neg32_reg_zero_extend_check()
381 	call %[bpf_get_prandom_u32];			\  in mod32_reg_zero_extend_check()
398 	call %[bpf_get_prandom_u32];			\  in mod32_imm_zero_extend_check()
404 	call %[bpf_get_prandom_u32];			\  in mod32_imm_zero_extend_check()
422 	call %[bpf_get_prandom_u32];			\  in xor32_reg_zero_extend_check()
439 	call %[bpf_get_prandom_u32];			\  in xor32_imm_zero_extend_check()
456 	call %[bpf_get_prandom_u32];			\  in mov32_reg_zero_extend_check()
474 	call %[bpf_get_prandom_u32];			\  in mov32_imm_zero_extend_check()
480 	call %[bpf_get_prandom_u32];			\  in mov32_imm_zero_extend_check()
498 	call %[bpf_get_prandom_u32];			\  in arsh32_reg_zero_extend_check()
516 	call %[bpf_get_prandom_u32];			\  in arsh32_imm_zero_extend_check()
522 	call %[bpf_get_prandom_u32];			\  in arsh32_imm_zero_extend_check()
540 	call %[bpf_get_prandom_u32];			\  in le_reg_zero_extend_check_1()
543 	call %[bpf_get_prandom_u32];			\  in le_reg_zero_extend_check_1()
559 	call %[bpf_get_prandom_u32];			\  in le_reg_zero_extend_check_2()
562 	call %[bpf_get_prandom_u32];			\  in le_reg_zero_extend_check_2()
578 	call %[bpf_get_prandom_u32];			\  in be_reg_zero_extend_check_1()
581 	call %[bpf_get_prandom_u32];			\  in be_reg_zero_extend_check_1()
597 	call %[bpf_get_prandom_u32];			\  in be_reg_zero_extend_check_2()
600 	call %[bpf_get_prandom_u32];			\  in be_reg_zero_extend_check_2()
620 	call %[bpf_get_prandom_u32];			\  in ldx_b_zero_extend_check()
641 	call %[bpf_get_prandom_u32];			\  in ldx_h_zero_extend_check()
662 	call %[bpf_get_prandom_u32];			\  in ldx_w_zero_extend_check()