Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/coco/sev/core.c __handle_guest_request() -> snp_issue_guest_request()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 2142169828590383104,2447658058275004416,3395525144144601088,7282668427967635456 |
| PARAM_VALUE | 0 | req->certs_data | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 0 | req->exit_code | 2147483665-2147483666 |
| PARAM_VALUE | 0 | req->exitinfo2 | 0,4294967296,8589934592 |
| PARAM_VALUE | 0 | req->input.data_npages | 0-4 |
| PARAM_VALUE | 0 | req->msg_type | 3,5,17 |
| PARAM_VALUE | 0 | req->msg_version | 1-255 |
| PARAM_VALUE | 0 | req->req_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | req->req_sz | 32,96,128 |
| PARAM_VALUE | 0 | req->resp_sz | 80,144,4016 |
| CAPPED_DATA | 0 | req->certs_data | 1 |
| DATA_SOURCE | 0 | req | $1 |
| HARD_MAX | 0 | req->exit_code | 2147483666 |
| HARD_MAX | 0 | req->msg_type | 17 |
| HARD_MAX | 0 | req->req_sz | 128 |
| HARD_MAX | 0 | req->resp_sz | 4016 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | req->input.data_npages | 1-4[c] |
| USER_DATA | 0 | req->msg_version | 1-255 |
| USER_PTR | 0 | req->req_buf | |
| LOCK2 | _T->lock |