Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c __do_insn_fetch_bytes() -> __linearize()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->memop.type 0-1,4-7
PARAM_VALUE 0 ctxt->memopp 0,4096-ptr_max
PARAM_VALUE 0 ctxt->memopp->addr.mem.seg 0-255
PARAM_VALUE 0 ctxt->memopp->addr.mm 0-7
PARAM_VALUE 0 ctxt->memopp->addr.xmm 0-255
PARAM_VALUE 0 ctxt->memopp->bytes 1-2,4,6,8,10,16,18,32,34
PARAM_VALUE 0 ctxt->memopp->type 0-1,4-7
PARAM_VALUE 0 ctxt->opcode_len 1-3
PARAM_VALUE 2 max_size 3021804981972951040
PARAM_VALUE 3 size 0
PARAM_VALUE 5 linear 180043591682801664
PARAM_VALUE 6 flags 2
BUF_SIZE 0 ctxt->fetch.ptr (-1),15
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->memop.type 7
FUZZY_MAX 0 ctxt->opcode_len 3
BIT_INFO 1 addr 0x0,0x0
USER_DATA 0 *ctxt->fetch.end 0-255

arch/x86/kvm/emulate.c assign_eip() -> __linearize()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 7209599553600106496
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 5532471905094541312
PARAM_VALUE 0 ctxt->ops->set_segment 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 2 max_size 5443816713775575040
PARAM_VALUE 3 size 1
PARAM_VALUE 5 linear 7071913318718394368
PARAM_VALUE 6 flags 2
DATA_SOURCE 0 ctxt $0
BIT_INFO 1 addr 0x0,0x0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_invlpg() -> __linearize()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 7209599553600106496
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 5532471905094541312
PARAM_VALUE 0 ctxt->ops->set_segment 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 2 max_size 2771278389666844672
PARAM_VALUE 3 size 1
PARAM_VALUE 5 linear 2533965043236380672
PARAM_VALUE 6 flags 8
DATA_SOURCE 0 ctxt $0
BIT_INFO 1 addr 0x0,0x0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c linearize() -> __linearize()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_msr 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->guest_has_fxsr 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->set_segment 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 2 max_size 4281812800440393728
PARAM_VALUE 5 linear 842207540595093504,1136309551738105856,7213054540691329024,7988717448790196224,8566090163974103040
PARAM_VALUE 6 flags 0-1
BUF_SIZE 0 ctxt->dst.addr.reg (-1),8
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 3 size $2
DATA_SOURCE 5 linear $4
FUZZY_MAX 6 flags 1
BIT_INFO 1 addr 0x0,0x0
HARD_MAX 6 flags 1
USER_DATA 0 ctxt->src.val 0-u32max
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end
USER_PTR 0 ctxt->vcpu->arch.pdptrs