Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c __decode_register_operand() -> fetch_register_operand()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bytes 1-2,4,8,16,32
DATA_SOURCE 0 op $1
FUZZY_MAX 0 op->bytes 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->addr.reg 4096-ptr_max
PARAM_VALUE 0 op->bytes 1-2,4,8,16,32
DATA_SOURCE 0 op $1
FUZZY_MAX 0 op->bytes 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->addr.reg 4096-ptr_max
PARAM_VALUE 0 op->bytes 2,4,8,16,32
DATA_SOURCE 0 op $1
FUZZY_MAX 0 op->bytes 2
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->addr.reg 4096-ptr_max
PARAM_VALUE 0 op->bytes 2,4,8,16,32
DATA_SOURCE 0 op $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->addr.reg 4096-ptr_max
PARAM_VALUE 0 op->bytes 2
DATA_SOURCE 0 op $1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bytes 1
NOCHECK_CALL