Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c __mark_reg_const_zero() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 1 | imm | 0 |
| BUF_SIZE | 0 | reg | (-1),880 |
| BUF_SIZE | 0 | reg | (-1),880 |
| DATA_SOURCE | 0 | reg | $1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c __mark_reg_known_zero() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | imm | 0 |
| BUF_SIZE | 0 | reg | (-1),80,640,720,800,880 |
| BUF_SIZE | 0 | reg | (-1),80,640,720,800,880 |
| DATA_SOURCE | 0 | reg | $0 |
| NOCHECK_CALL |
kernel/bpf/verifier.c add_scalar_to_reg() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 2999626800673837056 |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | 1-u64max |
| DATA_SOURCE | 1 | imm | $1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c adjust_reg_min_max_vals() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 5933952784933187584 |
| PARAM_VALUE | 0 | reg->btf | 0 |
| PARAM_VALUE | 0 | reg->btf_id | 0 |
| PARAM_VALUE | 0 | reg->delta | 0 |
| PARAM_VALUE | 0 | reg->frameno | 0 |
| PARAM_VALUE | 0 | reg->id | 0 |
| PARAM_VALUE | 0 | reg->iter.btf | 0 |
| PARAM_VALUE | 0 | reg->map_ptr | 0 |
| PARAM_VALUE | 0 | reg->map_uid | 0 |
| PARAM_VALUE | 0 | reg->mem_size | 0 |
| PARAM_VALUE | 0 | reg->parent_id | 0 |
| PARAM_VALUE | 0 | reg->precise | 0 |
| PARAM_VALUE | 0 | reg->r32.base | 0 |
| PARAM_VALUE | 0 | reg->r32.size | 0 |
| PARAM_VALUE | 0 | reg->r64.base | 0 |
| PARAM_VALUE | 0 | reg->r64.size | 0 |
| PARAM_VALUE | 0 | reg->range | 0 |
| PARAM_VALUE | 0 | reg->raw.raw1 | 0 |
| PARAM_VALUE | 0 | reg->raw.raw2 | 0 |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | 0-s32max,18446744071562067968-u64max |
| NOCHECK_CALL |
kernel/bpf/verifier.c adjust_scalar_min_max_vals() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | 0 |
| DATA_SOURCE | 0 | reg | $2 |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_alu_op() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | imm | 0-s32max,18446744071562067968-u64max |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_alu_op() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | imm | 0-u32max |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_ld_imm() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_ld_imm() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_mem_access() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_stack_arg_write() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | 0-s32max,18446744071562067968-u64max |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_stack_write_fixed_off() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 1 | imm | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | reg | 80 |
| MEM_ZERO | 0 | reg | |
| NOCHECK_CALL |
kernel/bpf/verifier.c mark_reg_graph_node() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| NOCHECK_CALL |
kernel/bpf/verifier.c maybe_fork_scalars() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | imm | 0 |
| NOCHECK_CALL |
kernel/bpf/verifier.c maybe_fork_scalars() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | u64max |
| DATA_SOURCE | 0 | reg | $2 |
| NOCHECK_CALL |
kernel/bpf/verifier.c scalar_min_max_and() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | imm | unit_byte |
kernel/bpf/verifier.c scalar_min_max_or() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| DATA_SOURCE | 0 | reg | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | imm | unit_byte |
kernel/bpf/verifier.c scalar_min_max_xor() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 4096-ptr_max |
| PARAM_VALUE | 0 | reg->type | 1 |
| DATA_SOURCE | 0 | reg | $0 |
| NOCHECK_CALL | |||
| UNITS | 1 | imm | unit_byte |
kernel/bpf/verifier.c sync_linked_regs() -> __mark_reg_known()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reg | 705466650325528576 |
| PARAM_VALUE | 0 | reg->type | 1 |
| PARAM_VALUE | 1 | imm | 0-u32max,18446744069414584321-u64max |
| NOCHECK_CALL | |||
| UNITS | 1 | imm | unit_byte |