Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/arm_scmi/driver.c scmi_protocol_register() -> scmi_vendor_protocol_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | proto | 4096-ptr_max |
| PARAM_VALUE | 0 | proto->id | 128-255 |
| PARAM_VALUE | 0 | proto->instance_init | 1-u64max |
| DATA_SOURCE | 0 | proto | $0 |
| FUZZY_MAX | 0 | proto->id | 128 |