Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_struct_ops_btf_id() -> (struct bpf_struct_ops)->check_member()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| PARAM_VALUE | 1 | member | 4096-ptr_max |
| PARAM_VALUE | 2 | prog | 4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux->attach_btf | 4096-ptr_max |
| PARAM_VALUE | 2 | prog->aux->attach_btf->struct_ops_tab->cnt | 1-4294967295 |
| PARAM_VALUE | 2 | prog->aux->attach_btf_id | 1-u32max |
| PARAM_VALUE | 2 | prog->expected_attach_type | 0-16777214 |
| PARAM_VALUE | 2 | prog->gpl_compatible | 1 |
| PARAM_VALUE | 2 | prog->type | 0-30,32-u32max |