kernel/bpf/verifier.c

66  * If instruction is BPF_MOV64_REG(BPF_REG_1, BPF_REG_5), then type of R5 is
1746 	BPF_REG_0, BPF_REG_1, BPF_REG_2, BPF_REG_3, BPF_REG_4, BPF_REG_5
3726 				for (i = BPF_REG_1; i <= BPF_REG_5; i++) {
3755 			for (i = BPF_REG_1; i <= BPF_REG_5; i++)
3789 				for (i = BPF_REG_1; i <= BPF_REG_5; i++)
7438 	WARN_ON_ONCE(regno < BPF_REG_2 || regno > BPF_REG_5);
9629 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
9642 	for (i = BPF_REG_1; i <= BPF_REG_5; i++)
9692 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
9723 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
9751 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
9773 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
9806 	__mark_reg_not_init(env, &callee->regs[BPF_REG_5]);
10089 	struct bpf_reg_state *data_len_reg = &regs[BPF_REG_5];
19535 			node_offset_reg = BPF_REG_5;
19939 				insn_buf[0] = BPF_MOV64_IMM(BPF_REG_5, (__force __s32)GFP_ATOMIC);
19941 				insn_buf[0] = BPF_MOV64_IMM(BPF_REG_5, (__force __s32)GFP_KERNEL);