Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/hyperv.c kvm_hv_flush_tlb() -> kvm_get_sparse_vp_set()

Type Parameter Key Value
PARAM_VALUE 1 hc 2908853198362472448
PARAM_VALUE 1 hc->code 19-20
PARAM_VALUE 1 hc->consumed_xmm_halves 2,32
PARAM_VALUE 1 hc->data_offset 2,32
PARAM_VALUE 1 hc->param 0-1152921504606846974
PARAM_VALUE 1 hc->rep_cnt 0-4095
PARAM_VALUE 1 hc->rep_idx 0
PARAM_VALUE 1 hc->var_cnt 1-64
BUF_SIZE 2 sparse_banks 512
BUF_SIZE 2 sparse_banks 512
CAPPED_DATA 1 hc->var_cnt 1
DATA_SOURCE 1 hc $1
FUZZY_MAX 1 hc->consumed_xmm_halves 2
FUZZY_MAX 1 hc->data_offset 32
BIT_INFO 1 hc->consumed_xmm_halves 0x0,0x22
BIT_INFO 1 hc->data_offset 0x0,0x22
UNITS 0 kvm unit_byte

arch/x86/kvm/hyperv.c kvm_hv_send_ipi() -> kvm_get_sparse_vp_set()

Type Parameter Key Value
PARAM_VALUE 1 hc 2908853198362472448
PARAM_VALUE 1 hc->code 21
PARAM_VALUE 1 hc->consumed_xmm_halves 1,24
PARAM_VALUE 1 hc->data_offset 1,24
PARAM_VALUE 1 hc->param 0-1152921504606846974
PARAM_VALUE 1 hc->rep 0
PARAM_VALUE 1 hc->rep_cnt 0
PARAM_VALUE 1 hc->rep_idx 0
PARAM_VALUE 1 hc->var_cnt 1-64
PARAM_VALUE 1 hc->xmm 4096-ptr_max
BUF_SIZE 2 sparse_banks 512
BUF_SIZE 2 sparse_banks 512
CAPPED_DATA 1 hc->var_cnt 1
DATA_SOURCE 1 hc $1
FUZZY_MAX 1 hc->consumed_xmm_halves 1
FUZZY_MAX 1 hc->data_offset 24
BIT_INFO 1 hc->consumed_xmm_halves 0x0,0x19
BIT_INFO 1 hc->data_offset 0x0,0x19
UNITS 0 kvm unit_byte