Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/btf.c __btf_verifier_log_type() -> (struct btf_kind_operations)->log_details()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->log.len_max | 1-u32max |
| PARAM_VALUE | 0 | env->log.level | 1-u32max |
| PARAM_VALUE | 0 | *env->log->kbuf | 0-255 |
| PARAM_VALUE | 1 | t | 4096-ptr_max |
| BUF_SIZE | 0 | env->btf | (-1),248 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | t | $1 |
| FUZZY_MAX | 0 | env->log.level | 16 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-31,42 |
| STR_LEN | 0 | env | (-1),9,12-15,17,19-21,24-31,42 |