Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c emulate_pop() -> segmented_read()

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 data 4096-ptr_max
BUF_SIZE 0 ctxt->dst.addr.reg (-1),8
BUF_SIZE 2 data (-1),4,8
BUF_SIZE 2 data (-1),4,8
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 2 data $1
DATA_SOURCE 3 size $2
BIT_INFO 1 addr 0x0,0x0
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c x86_emulate_insn() -> segmented_read()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->mem_read.pos 0
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
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 0 ctxt->src.type 1
BUF_SIZE 2 data 4
DATA_SOURCE 0 ctxt $0
BIT_INFO 0 ctxt->d 0x0,0xffffffffff7fffff
BIT_INFO 1 addr 0x0,0x0
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c x86_emulate_insn() -> segmented_read()

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_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 0 ctxt->src2.type 1
PARAM_VALUE 2 data 4096-ptr_max
BUF_SIZE 2 data 8
DATA_SOURCE 0 ctxt $0
BIT_INFO 1 addr 0x0,0x0
NO_OVERFLOW_SIMPLE 0 ctxt->src.bytes
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c x86_emulate_insn() -> segmented_read()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 1
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
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 data 4096-ptr_max
BUF_SIZE 2 data 8
DATA_SOURCE 0 ctxt $0
BIT_INFO 0 ctxt->d 0x0,0xffffffffffefffff
BIT_INFO 1 addr 0x0,0x0
NO_OVERFLOW_SIMPLE 0 ctxt->src.bytes
NO_OVERFLOW_SIMPLE 0 ctxt->src2.bytes
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end