Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/bpf/btf.c __btf_array_show() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_skip_modifiers |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/bpf/btf.c __btf_type_int_is_regular() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $0 |
kernel/bpf/btf.c btf_int_bits_show() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/bpf/btf.c btf_int_check_kflag_member() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $3 |
kernel/bpf/btf.c btf_int_check_member() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $3 |
kernel/bpf/btf.c btf_int_check_meta() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-18446744073709547519 |
| CAPPED_DATA | 0 | t->name_off | 1 |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/btf.c btf_int_log() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
kernel/bpf/btf.c btf_int_show() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
kernel/bpf/btf.c btf_member_is_reg_int() -> btf_type_int()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-2875726118925660159,2875726118925660161-ptr_max |
| DATA_SOURCE | 0 | t | r btf_type_id_size |