Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/btf.c __btf_verifier_log_type() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 1 | fmt | 5232336081025921024 |
| PARAM_VALUE | 4 | $ | 4096-ptr_max |
| PARAM_VALUE | 5 | $ | 4274302372899520512,4602998933304729600 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| BUF_SIZE | 4 | $ | (-1),7,22 |
| BUF_SIZE | 5 | $ | 1-2 |
| STR_LEN | 0 | log | 12 |
| STR_LEN | 1 | fmt | 0-1 |
| BIT_INFO | 5 | $ | 0x3b41030421010000,0x3ff17f7ce7696000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 5 | $ | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_array_size |
kernel/bpf/btf.c __btf_verifier_log_type() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4274302372899520512 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| STR_LEN | 0 | log | 1 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c __btf_verifier_log_type() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3018497645153456128 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| STR_LEN | 0 | log | 1 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 1 | fmt | 8525736314643496960 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3234111664451903488 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 8313471416429060096 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 7956897365815848960 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf | |
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 5493811431587930112 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 14 |
| STR_LEN | 0 | log | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 5286272193784803328 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 14 |
| STR_LEN | 0 | log | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 6946436769198841856 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 5376963613961789440 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 13 |
| STR_LEN | 0 | log | 12 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 2498517797925969920 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 16 |
| STR_LEN | 0 | log | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 7268846590978416640 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 16 |
| STR_LEN | 0 | log | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf | |
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_verifier_log_hdr() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | log->ubuf | 0 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3540463457273114624 |
| PARAM_VALUE | 2 | $ | 8-u32max |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 20 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | log | 19 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf | |
| UNITS | 2 | $ | unit_byte |
kernel/bpf/btf.c btf_verifier_log_member() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 1 | fmt | 6024067208393195520 |
| PARAM_VALUE | 2 | $ | 4096-ptr_max |
| PARAM_VALUE | 4 | $ | 0-255 |
| PARAM_VALUE | 5 | $ | 0-16777215 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 47 |
| BUF_SIZE | 2 | $ | (-1),7,22 |
| STR_LEN | 0 | log | 46 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_verifier_log_member() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 1 | fmt | 7183048076071342080 |
| PARAM_VALUE | 2 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 30 |
| BUF_SIZE | 2 | $ | (-1),7,22 |
| STR_LEN | 0 | log | 29 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL |
kernel/bpf/btf.c btf_verifier_log_member() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4274302372899520512 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| STR_LEN | 0 | log | 1 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_member() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->level | 1-u32max |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3018497645153456128 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| STR_LEN | 0 | log | 1 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_vsi() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 1 | fmt | 8578875547677077504 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 31 |
| CAPPED_DATA | 0 | log->len_total | 1 |
| STR_LEN | 0 | log | 30 |
| BIT_INFO | 0 | log->level | 0x0,0x1f |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 2 | $ | unit_array_size |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
kernel/bpf/btf.c btf_verifier_log_vsi() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 4274302372899520512 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| CAPPED_DATA | 0 | log->len_total | 1 |
| STR_LEN | 0 | log | 1 |
| BIT_INFO | 0 | log->level | 0x0,0x1f |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |
kernel/bpf/btf.c btf_verifier_log_vsi() -> __btf_verifier_log()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | log | 4096-ptr_max |
| PARAM_VALUE | 0 | log->len_max | 1-u32max |
| PARAM_VALUE | 0 | log->len_total | 0-1073741823 |
| PARAM_VALUE | 0 | log->level | 1-14 |
| PARAM_VALUE | 0 | *log->kbuf | 0-255 |
| PARAM_VALUE | 1 | fmt | 3018497645153456128 |
| BUF_SIZE | 0 | log | 1064 |
| BUF_SIZE | 1 | fmt | 2 |
| CAPPED_DATA | 0 | log->len_total | 1 |
| STR_LEN | 0 | log | 1 |
| BIT_INFO | 0 | log->level | 0x0,0x1f |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | log->kbuf |