Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/coco/sev/core.c snp_send_guest_request() -> enc_payload()

Type Parameter Key Value
PARAM_VALUE 0 mdesc 4096-ptr_max
PARAM_VALUE 0 mdesc->os_area_msg_seqno 4096-ptr_max
PARAM_VALUE 0 mdesc->vmpck 1-u64max
PARAM_VALUE 1 seqno 1-4294967294
PARAM_VALUE 2 req 2142169828590383104,2447658058275004416,3395525144144601088,7282668427967635456
PARAM_VALUE 2 req->certs_data 0,18379471554275704832,18446612682070032384
PARAM_VALUE 2 req->exit_code 2147483665-2147483666
PARAM_VALUE 2 req->exitinfo2 0
PARAM_VALUE 2 req->input.data_gpa 0
PARAM_VALUE 2 req->input.data_npages 0-4
PARAM_VALUE 2 req->input.req_gpa 0
PARAM_VALUE 2 req->input.resp_gpa 0
PARAM_VALUE 2 req->msg_type 3,5,17
PARAM_VALUE 2 req->msg_version 1-255
PARAM_VALUE 2 req->req_buf 4096-ptr_max
PARAM_VALUE 2 req->req_sz 32,96,128
PARAM_VALUE 2 req->resp_sz 80,144,4016
DATA_SOURCE 0 mdesc $0
DATA_SOURCE 1 seqno r snp_get_msg_seqno
DATA_SOURCE 2 req $1
HARD_MAX 2 req->exit_code 2147483666
HARD_MAX 2 req->msg_type 17
HARD_MAX 2 req->req_sz 128
HARD_MAX 2 req->resp_sz 4016
MEM_ZERO 0 mdesc->response
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 req->input.data_npages 1-4[c]
USER_DATA 2 req->msg_version 1-255
USER_PTR 2 req->req_buf
LOCK2 _T->lock