Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/x86/coco/sev/core.c, line 1622 (as a function)
- arch/x86/include/asm/sev.h, line 635 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/virt/coco/sev-guest/sev-guest.c sev_guest_probe() -> snp_msg_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc->os_area_msg_seqno | 4096-ptr_max |
| DATA_SOURCE | 0 | mdesc | r snp_msg_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virt/coco/sev-guest/sev-guest.c sev_guest_remove() -> snp_msg_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
arch/x86/coco/sev/core.c snp_get_tsc_info() -> snp_msg_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc->os_area_msg_seqno | 4096-ptr_max |
| DATA_SOURCE | 0 | mdesc | r snp_msg_alloc |
| NOCHECK_CALL |