Open Menu /

Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/kvm/emulate.c decode_operand() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->ad_bytes 4
USER_DATA 0 *ctxt->fetch.end 0-255

arch/x86/kvm/emulate.c em_jcxz() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
DATA_SOURCE 0 ctxt $0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_loop() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
DATA_SOURCE 0 ctxt $0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c fetch_bit_operand() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->ad_bytes 4
BIT_INFO 0 ctxt->d 0x800,0xffffffffffffffff
USER_DATA 0 *ctxt->fetch.end 0-255
UNITS 1 reg unit_byte

arch/x86/kvm/emulate.c pio_in_emulated() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
DATA_SOURCE 0 ctxt $0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c register_address() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
DATA_SOURCE 0 ctxt $0
USER_DATA 0 *ctxt->fetch.end 0-255

arch/x86/kvm/emulate.c x86_decode_insn() -> address_mask()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->ad_bytes 4
USER_DATA 0 *ctxt->fetch.end 0-255
UNITS 1 reg unit_byte
USER_PTR 0 ctxt->fetch.end

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

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->d 8192-u64max
DATA_SOURCE 0 ctxt $0
BIT_INFO 0 ctxt->d 0x2000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end