Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/inode.c bpf_show_options() -> seq_print_delegate_opts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | opt_name | 7842466041122717696 |
| PARAM_VALUE | 2 | btf | 0 |
| PARAM_VALUE | 3 | enum_t | 0 |
| PARAM_VALUE | 4 | prefix | 976291133906944000 |
| PARAM_VALUE | 6 | any_msk | 549755813887 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | opt_name | 14 |
| BUF_SIZE | 4 | prefix | 5 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 13 |
| STR_LEN | 1 | opt_name | 4 |
| TERMINATED | 1 | opt_name | 1 |
| TERMINATED | 4 | prefix | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
kernel/bpf/inode.c bpf_show_options() -> seq_print_delegate_opts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | opt_name | 2631427747855294464 |
| PARAM_VALUE | 2 | btf | 0 |
| PARAM_VALUE | 3 | enum_t | 0 |
| PARAM_VALUE | 4 | prefix | 3254238369504354304 |
| PARAM_VALUE | 6 | any_msk | 68719476735 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | opt_name | 14 |
| BUF_SIZE | 4 | prefix | 14 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 13 |
| STR_LEN | 1 | opt_name | 13 |
| TERMINATED | 1 | opt_name | 1 |
| TERMINATED | 4 | prefix | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
kernel/bpf/inode.c bpf_show_options() -> seq_print_delegate_opts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | opt_name | 553867597345812480 |
| PARAM_VALUE | 2 | btf | 0 |
| PARAM_VALUE | 3 | enum_t | 0 |
| PARAM_VALUE | 4 | prefix | 7641433402698276864 |
| PARAM_VALUE | 6 | any_msk | 8589934591 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | opt_name | 15 |
| BUF_SIZE | 4 | prefix | 15 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 14 |
| STR_LEN | 1 | opt_name | 14 |
| TERMINATED | 1 | opt_name | 1 |
| TERMINATED | 4 | prefix | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |
kernel/bpf/inode.c bpf_show_options() -> seq_print_delegate_opts()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | m | 4096-ptr_max |
| PARAM_VALUE | 0 | m->from | 0 |
| PARAM_VALUE | 0 | m->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | m->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | m->op | 0,4096-ptr_max |
| PARAM_VALUE | 0 | m->private | 0,4096-ptr_max |
| PARAM_VALUE | 1 | opt_name | 515649413240803328 |
| PARAM_VALUE | 2 | btf | 0 |
| PARAM_VALUE | 3 | enum_t | 0 |
| PARAM_VALUE | 4 | prefix | 976291133906944000 |
| PARAM_VALUE | 6 | any_msk | 4611686018427387903 |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | m->buf | (-1)-2147479552 |
| BUF_SIZE | 1 | opt_name | 17 |
| BUF_SIZE | 4 | prefix | 5 |
| CAPPED_DATA | 0 | m->size | 1 |
| DATA_SOURCE | 0 | m | $0 |
| STR_LEN | 0 | m | 16 |
| STR_LEN | 1 | opt_name | 4 |
| TERMINATED | 1 | opt_name | 1 |
| TERMINATED | 4 | prefix | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | m->read_pos | 0-11442450941[c] |
| NO_OVERFLOW_SIMPLE | 0 | m->count | |
| HALF_LOCKED2 | global &namespace_sem | ||
| HALF_LOCKED2 | 0 | &m->lock |