Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/etnaviv/etnaviv_perfmon.c pipe_perf_reg_read() -> pipe_select()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| CAPPED_DATA | 2 | pipe | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| DATA_SOURCE | 1 | clock | r gpu_read |
| PARAM_COMPARE | 0 | gpu->identity.pixel_pipes | > $2 |
| PARAM_COMPARE | 2 | pipe | < $0->identity.pixel_pipes |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | clock | 0-u32max |
drivers/gpu/drm/etnaviv/etnaviv_perfmon.c pipe_perf_reg_read() -> pipe_select()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| PARAM_VALUE | 2 | pipe | 0 |
| CAPPED_DATA | 0 | gpu->identity.pixel_pipes | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| DATA_SOURCE | 1 | clock | r gpu_read |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | clock | 0-u32max |
drivers/gpu/drm/etnaviv/etnaviv_perfmon.c pipe_reg_read() -> pipe_select()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| CAPPED_DATA | 2 | pipe | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| DATA_SOURCE | 1 | clock | r gpu_read |
| PARAM_COMPARE | 0 | gpu->identity.pixel_pipes | > $2 |
| PARAM_COMPARE | 2 | pipe | < $0->identity.pixel_pipes |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | clock | 0-u32max |
drivers/gpu/drm/etnaviv/etnaviv_perfmon.c pipe_reg_read() -> pipe_select()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| PARAM_VALUE | 2 | pipe | 0 |
| CAPPED_DATA | 0 | gpu->identity.pixel_pipes | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| DATA_SOURCE | 1 | clock | r gpu_read |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | clock | 0-u32max |