Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/crypto/ccp/sev-dev.c, line 2785 (as a function)
- include/linux/psp-sev.h, line 1151 (as a function)
Referenced in 2 files:
Smatch caller information:
arch/x86/kvm/svm/sev.c sev_decommission() -> sev_guest_decommission()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 5306636086681407488 |
| PARAM_VALUE | 0 | data->handle | 1-u32max |
| PARAM_VALUE | 1 | error | 0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | data->handle | 1-u32max |
| HALF_LOCKED2 | _T->lock |