Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/crypto/ccp/sev-dev.c sev_ioctl_do_reset() -> sev_get_platform_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | state | 687362674365583360 |
| PARAM_VALUE | 1 | error | 2704685560729305104 |
| USER_DATA | 1 | *error | s32min-s32max |
| USER_PTR | 1 | error | |
| LOCK2 | global &sev_cmd_mutex |