Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/arm_scmi/notify.c scmi_events_dispatcher() -> scmi_process_event_payload()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | eq | 4096-ptr_max |
| PARAM_VALUE | 1 | pd | 4096-ptr_max |
| PARAM_VALUE | 1 | pd->eh->evt_id | 0-1 |
| PARAM_VALUE | 1 | pd->eh->payld_sz | 0-u32max |
| PARAM_VALUE | 1 | pd->in_flight | 1-u64max |
| PARAM_VALUE | 1 | pd->num_events | 0-2 |
| PARAM_VALUE | 1 | *pd->eh->payld | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | r_evt | 1-u64max |
| PARAM_COMPARE | 0 | eq | < $1 |
| PARAM_COMPARE | 0 | eq | < $1 |
| PARAM_COMPARE | 1 | pd | > $0 |
| HALF_LOCKED2 | &pool->lock |