Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 hc 2908853198362472448
PARAM_VALUE 1 hc->code 19-21
PARAM_VALUE 1 hc->consumed_xmm_halves 1-2,24,32
PARAM_VALUE 1 hc->data_offset 1-2,24,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
PARAM_VALUE 2 orig_cnt 1-64
PARAM_VALUE 3 cnt_cap 64
BUF_SIZE 4 data 512
BUF_SIZE 4 data 512
CAPPED_DATA 1 hc->var_cnt 1
CAPPED_DATA 2 orig_cnt 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 hc $1
DATA_SOURCE 4 data $2
FUZZY_MAX 1 hc->consumed_xmm_halves 2
FUZZY_MAX 1 hc->data_offset 32
BIT_INFO 1 hc->consumed_xmm_halves 0x0,0x3b
BIT_INFO 1 hc->data_offset 0x0,0x3b
UNITS 0 kvm unit_byte

arch/x86/kvm/hyperv.c kvm_hv_get_tlb_flush_entries() -> kvm_hv_get_hc_data()

Type Parameter Key Value
PARAM_VALUE 1 hc 2908853198362472448
PARAM_VALUE 1 hc->code 3,20
PARAM_VALUE 1 hc->consumed_xmm_halves 1-544
PARAM_VALUE 1 hc->data_offset 1-544
PARAM_VALUE 1 hc->param 0-1152921504606846974
PARAM_VALUE 1 hc->rep 1
PARAM_VALUE 1 hc->rep_cnt 1-15
PARAM_VALUE 1 hc->rep_idx 0
PARAM_VALUE 1 hc->var_cnt 0-1023
PARAM_VALUE 2 orig_cnt 1-15
PARAM_VALUE 3 cnt_cap 1-15
BUF_SIZE 4 data 120
CAPPED_DATA 1 hc->var_cnt 1
DATA_SOURCE 0 kvm $0
DATA_SOURCE 1 hc $1
DATA_SOURCE 4 data $2
FUZZY_MAX 1 hc->consumed_xmm_halves 1
FUZZY_MAX 1 hc->data_offset 24
UNITS 0 kvm unit_byte
UNITS 2 orig_cnt unit_array_size
UNITS 3 cnt_cap unit_array_size