Defined in 1 files as a prototype:

Referenced in 1 files:

Smatch caller information:

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

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