Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/binfmt_misc.c create_entry() -> check_special_flags()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4098-18446744073709547521 |
| PARAM_VALUE | 1 | e | 4096-ptr_max |
| PARAM_VALUE | 1 | e->bpf_ops_name | 0,4097-ptr_max |
| PARAM_VALUE | 1 | e->flags | 1,3 |
| PARAM_VALUE | 1 | e->interpreter | 0,4097-ptr_max |
| PARAM_VALUE | 1 | e->interps.next | 4096-ptr_max |
| PARAM_VALUE | 1 | e->interps.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | e->interps.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | e->interps.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | e->interps.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | e->magic | 0,4096-ptr_max |
| PARAM_VALUE | 1 | e->mask | 0,4096-ptr_max |
| PARAM_VALUE | 1 | e->name | 4096-ptr_max |
| PARAM_VALUE | 1 | e->size | s32min-256 |
| BUF_SIZE | 1 | e | 147-2056 |
| BUF_SIZE | 1 | e | 147-2056 |
| DATA_SOURCE | 1 | e | r _kmalloc_noprof |
| FUZZY_MAX | 1 | e->flags | 3 |
| FUZZY_MAX | 1 | e->size | 0 |
| BIT_INFO | 1 | e->flags | 0x1,0xffffffffffffffff |
| HARD_MAX | 1 | e->flags | 3 |
| MEM_ZERO | 1 | e | |
| USER_DATA | 1 | e->offset | s32min-s32max |