Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ghcb 1-u64max
PARAM_VALUE 1 call 172623441460625408,1266889812332916736,4565689492921786368,6793976967074951168,8945411072175812608
PARAM_VALUE 1 call->r8 0-65534,65536-s32max,18446744071562067968-u64max
PARAM_VALUE 1 call->r9 0
PARAM_VALUE 1 call->rax 1-3,4294967296-4294967297,8589934592-8589934593
DATA_SOURCE 0 ghcb r __sev_get_ghcb
DATA_SOURCE 1 call $0
BIT_INFO 0 ghcb 0x0,0x1fffffffffffffff
BIT_INFO 0 ghcb 0x0,0x1fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags