Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/coco/sev/core.c snp_set_vmsa() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 1266889812332916736
PARAM_VALUE 0 call->caa 0
PARAM_VALUE 0 call->r8 0-65534,65536-s32max,18446744071562067968-u64max
PARAM_VALUE 0 call->r8_out 0
PARAM_VALUE 0 call->r9 0
PARAM_VALUE 0 call->r9_out 0
PARAM_VALUE 0 call->rax 2-3
PARAM_VALUE 0 call->rax_out 0
PARAM_VALUE 0 call->rcx_out 0
PARAM_VALUE 0 call->rdx_out 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 flags
HALF_LOCKED2 irq

arch/x86/coco/sev/svsm.c snp_issue_svsm_attest_req() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 172623441460625408
PARAM_VALUE 0 call->caa 4096-ptr_max
PARAM_VALUE 0 call->caa->svsm_buffer 4096-ptr_max
PARAM_VALUE 0 call->caa->svsm_buffer->certificates_buf.len 0,4096-u32max
PARAM_VALUE 0 call->caa->svsm_buffer->manifest_buf.len 0,4096-u32max
PARAM_VALUE 0 call->caa->svsm_buffer->nonce.len 64
PARAM_VALUE 0 call->caa->svsm_buffer->report_buf.len 0,4096-u32max
PARAM_VALUE 0 call->r8 u64max
PARAM_VALUE 0 call->rax 4294967296-4294967297
PARAM_VALUE 0 call->rax_out 0
PARAM_VALUE 0 call->rdx u64max
DATA_SOURCE 0 call $1
BIT_INFO 0 call->rax 0x100000000,0x1ffffffff
MEM_ZERO 0 call
RX_PATH
TASK_NOT_RUNNING
LOCK2 &buffer->mutex
LOCK2 &frag->frag_sem
LOCK2 _T->lock
LOCK2 flags
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct configfs_buffer)->mutex
TYPE_LOCK (struct configfs_fragment)->frag_sem

arch/x86/coco/sev/svsm.c snp_svsm_vtpm_probe() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 6793976967074951168
PARAM_VALUE 0 call->r8 0
PARAM_VALUE 0 call->r8_out 0
PARAM_VALUE 0 call->r9 0
PARAM_VALUE 0 call->r9_out 0
PARAM_VALUE 0 call->rax 8589934592
PARAM_VALUE 0 call->rax_out 0
PARAM_VALUE 0 call->rcx 0
PARAM_VALUE 0 call->rcx_out 0
PARAM_VALUE 0 call->rdx 0
PARAM_VALUE 0 call->rdx_out 0

arch/x86/coco/sev/svsm.c snp_svsm_vtpm_send_command() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 8945411072175812608
PARAM_VALUE 0 call->r8 0
PARAM_VALUE 0 call->r8_out 0
PARAM_VALUE 0 call->r9 0
PARAM_VALUE 0 call->r9_out 0
PARAM_VALUE 0 call->rax 8589934593
PARAM_VALUE 0 call->rax_out 0
PARAM_VALUE 0 call->rcx_out 0
PARAM_VALUE 0 call->rdx 0
PARAM_VALUE 0 call->rdx_out 0
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex

arch/x86/coco/sev/svsm.c svsm_pval_pages() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 4565689492921786368
PARAM_VALUE 0 call->caa 4096-ptr_max
PARAM_VALUE 0 call->r8 0
PARAM_VALUE 0 call->r9 0
PARAM_VALUE 0 call->rax 1
PARAM_VALUE 0 call->rdx 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mem_enc_lock

arch/x86/coco/sev/svsm.c svsm_pval_pages() -> svsm_perform_call_protocol()

Type Parameter Key Value
PARAM_VALUE 0 call 4565689492921786368
PARAM_VALUE 0 call->caa 4096-ptr_max
PARAM_VALUE 0 call->r8 0
PARAM_VALUE 0 call->r9 0
PARAM_VALUE 0 call->rax 1
PARAM_VALUE 0 call->rdx 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &mem_enc_lock