Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
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->op_bytes 2,4,8,16,32
PARAM_VALUE 0 ctxt->opcode_len 1-3
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 byteop 0-1
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 modrm_reg $2
FUZZY_MAX 0 ctxt->ad_bytes 4
FUZZY_MAX 0 ctxt->memop.type 7
FUZZY_MAX 0 ctxt->op_bytes 8
FUZZY_MAX 0 ctxt->opcode_len 3
BIT_INFO 0 ctxt->d 0x0,0xfffffeff7ffbffff
USER_DATA 0 *ctxt->fetch.end 0-255

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

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
PARAM_VALUE 0 ctxt->fetch.end 4096-ptr_max
PARAM_VALUE 0 ctxt->memop.addr.mem.seg 0-255
PARAM_VALUE 0 ctxt->memop.bytes 1
PARAM_VALUE 0 ctxt->memop.type 0
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->op_bytes 2,4,8,16,32
PARAM_VALUE 0 ctxt->opcode_len 1-3
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 2 byteop 1
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->ad_bytes 4
FUZZY_MAX 0 ctxt->op_bytes 8
FUZZY_MAX 0 ctxt->opcode_len 3
USER_DATA 0 *ctxt->fetch.end 0-255