Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
NOCHECK_CALL
USER_DATA 0 *ctxt->fetch.end 0-255