Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/x86/coco/sev/core.c, line 1865 (as a function)
- arch/x86/include/asm/sev.h, line 636 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/virt/coco/sev-guest/sev-guest.c get_derived_key() -> snp_send_guest_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | req | 7282668427967635456 |
| PARAM_VALUE | 1 | req->certs_data | 0 |
| PARAM_VALUE | 1 | req->exit_code | 2147483665 |
| PARAM_VALUE | 1 | req->exitinfo2 | 0 |
| PARAM_VALUE | 1 | req->input.data_gpa | 0 |
| PARAM_VALUE | 1 | req->input.data_npages | 0 |
| PARAM_VALUE | 1 | req->input.req_gpa | 0 |
| PARAM_VALUE | 1 | req->input.resp_gpa | 0 |
| PARAM_VALUE | 1 | req->msg_type | 3 |
| PARAM_VALUE | 1 | req->msg_version | 1-255 |
| PARAM_VALUE | 1 | req->req_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->req_sz | 32 |
| PARAM_VALUE | 1 | req->resp_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->resp_sz | 80 |
| USER_DATA | 1 | req->msg_version | 1-255 |
| USER_PTR | 1 | req->req_buf |
drivers/virt/coco/sev-guest/sev-guest.c get_ext_report() -> snp_send_guest_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | req | 3395525144144601088 |
| PARAM_VALUE | 1 | req->certs_data | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | req->exit_code | 2147483666 |
| PARAM_VALUE | 1 | req->exitinfo2 | 0 |
| PARAM_VALUE | 1 | req->input.data_gpa | 0 |
| PARAM_VALUE | 1 | req->input.data_npages | 0-4 |
| PARAM_VALUE | 1 | req->input.req_gpa | 0 |
| PARAM_VALUE | 1 | req->input.resp_gpa | 0 |
| PARAM_VALUE | 1 | req->msg_type | 5 |
| PARAM_VALUE | 1 | req->msg_version | 1-255 |
| PARAM_VALUE | 1 | req->req_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->req_sz | 96 |
| PARAM_VALUE | 1 | req->resp_sz | 4016 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | req->input.data_npages | 1-4[c] |
| USER_DATA | 1 | req->msg_version | 1-255 |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | _T->lock |
drivers/virt/coco/sev-guest/sev-guest.c get_report() -> snp_send_guest_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc | 4096-ptr_max |
| PARAM_VALUE | 1 | req | 2447658058275004416 |
| PARAM_VALUE | 1 | req->certs_data | 0 |
| PARAM_VALUE | 1 | req->exit_code | 2147483665 |
| PARAM_VALUE | 1 | req->exitinfo2 | 0 |
| PARAM_VALUE | 1 | req->input.data_gpa | 0 |
| PARAM_VALUE | 1 | req->input.data_npages | 0 |
| PARAM_VALUE | 1 | req->input.req_gpa | 0 |
| PARAM_VALUE | 1 | req->input.resp_gpa | 0 |
| PARAM_VALUE | 1 | req->msg_type | 5 |
| PARAM_VALUE | 1 | req->msg_version | 1-255 |
| PARAM_VALUE | 1 | req->req_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->req_sz | 96 |
| PARAM_VALUE | 1 | req->resp_sz | 4016 |
| USER_DATA | 1 | req->msg_version | 1-255 |
| USER_PTR | 1 | req->req_buf |
arch/x86/coco/sev/core.c snp_get_tsc_info() -> snp_send_guest_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mdesc->gcm_key | 4096-ptr_max |
| PARAM_VALUE | 0 | mdesc->gcm_key->aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 0 | mdesc->gcm_key->aes.len | 32 |
| PARAM_VALUE | 0 | mdesc->gcm_key->aes.nrounds | 10,12,14 |
| PARAM_VALUE | 0 | mdesc->gcm_key->authtag_len | 16 |
| PARAM_VALUE | 0 | mdesc->os_area_msg_seqno | 4096-ptr_max |
| PARAM_VALUE | 0 | mdesc->vmpck | 1-u64max |
| PARAM_VALUE | 0 | mdesc->vmpck_id | s32min-(-2),0-s32max |
| PARAM_VALUE | 1 | req | 2142169828590383104 |
| PARAM_VALUE | 1 | req->certs_data | 0 |
| PARAM_VALUE | 1 | req->exit_code | 2147483665 |
| PARAM_VALUE | 1 | req->exitinfo2 | 0 |
| PARAM_VALUE | 1 | req->input.data_gpa | 0 |
| PARAM_VALUE | 1 | req->input.data_npages | 0 |
| PARAM_VALUE | 1 | req->input.req_gpa | 0 |
| PARAM_VALUE | 1 | req->input.resp_gpa | 0 |
| PARAM_VALUE | 1 | req->msg_type | 17 |
| PARAM_VALUE | 1 | req->msg_version | 1 |
| PARAM_VALUE | 1 | req->req_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->req_sz | 128 |
| PARAM_VALUE | 1 | req->resp_buf | 4096-ptr_max |
| PARAM_VALUE | 1 | req->resp_sz | 144 |
| PARAM_VALUE | 1 | req->vmpck_id | 0-255 |
| DATA_SOURCE | 0 | mdesc | r snp_msg_alloc |