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() -> verify_and_dec_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->request->hdr.algo 1
PARAM_VALUE 0 mdesc->request->hdr.hdr_sz 96
PARAM_VALUE 0 mdesc->request->hdr.hdr_version 1
PARAM_VALUE 0 mdesc->request->hdr.msg_seqno 1-4294967294
PARAM_VALUE 0 mdesc->request->hdr.msg_sz 32,96,128
PARAM_VALUE 0 mdesc->request->hdr.msg_type 3,5,17
PARAM_VALUE 0 mdesc->request->hdr.msg_version 1-255
PARAM_VALUE 0 mdesc->request->hdr.rsvd2 0
PARAM_VALUE 0 mdesc->secret_request.hdr.algo 1
PARAM_VALUE 0 mdesc->secret_request.hdr.hdr_sz 96
PARAM_VALUE 0 mdesc->secret_request.hdr.hdr_version 1
PARAM_VALUE 0 mdesc->secret_request.hdr.msg_seqno 1-4294967294
PARAM_VALUE 0 mdesc->secret_request.hdr.msg_sz 32,96,128
PARAM_VALUE 0 mdesc->secret_request.hdr.msg_type 3,5,17
PARAM_VALUE 0 mdesc->secret_request.hdr.msg_version 1-255
PARAM_VALUE 0 mdesc->secret_request.hdr.rsvd2 0
PARAM_VALUE 0 mdesc->secret_request.payload 0
PARAM_VALUE 0 mdesc->vmpck 1-u64max
PARAM_VALUE 1 req 2142169828590383104,2447658058275004416,3395525144144601088,7282668427967635456
PARAM_VALUE 1 req->certs_data 0,18379471554275704832,18446612682070032384
PARAM_VALUE 1 req->exit_code 2147483665-2147483666
PARAM_VALUE 1 req->exitinfo2 0-8589934591,8589934593-u64max
PARAM_VALUE 1 req->input.data_npages 0-4
PARAM_VALUE 1 req->msg_type 3,5,17
PARAM_VALUE 1 req->msg_version 1-255
PARAM_VALUE 1 req->req_buf 4096-ptr_max
PARAM_VALUE 1 req->req_sz 32,96,128
PARAM_VALUE 1 req->resp_sz 80,144,4016
CAPPED_DATA 0 mdesc->request 1
CAPPED_DATA 0 mdesc->response 1
CAPPED_DATA 1 req->certs_data 1
DATA_SOURCE 0 mdesc $0
DATA_SOURCE 1 req $1
HARD_MAX 1 req->msg_type 17
HARD_MAX 1 req->req_sz 128
HARD_MAX 1 req->resp_sz 4016
MEM_ZERO 0 mdesc->request
MEM_ZERO 0 mdesc->response
MEM_ZERO 0 &mdesc->secret_request
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->input.data_npages 1-4[c]
USER_DATA 1 req->msg_version 1-255
USER_PTR 1 req->req_buf
LOCK2 _T->lock