Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c __load_segment_descriptor() -> read_segment_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 1-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 2 | desc | 5003382777688281088 |
| PARAM_VALUE | 3 | desc_addr_p | 8079248629410516992 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | selector | $1 |
| FUZZY_MAX | 0 | ctxt->mode | 3 |
| MEM_ZERO | 2 | desc | |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| UNITS | 1 | selector | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulator_do_task_switch() -> read_segment_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->regs_dirty | 0 |
| PARAM_VALUE | 0 | ctxt->regs_valid | 0 |
| PARAM_VALUE | 2 | desc | 5115147109071486976 |
| PARAM_VALUE | 3 | desc_addr_p | 442802743742554112 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | selector | $1 |
| UNITS | 1 | selector | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulator_do_task_switch() -> read_segment_descriptor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->regs_dirty | 0 |
| PARAM_VALUE | 0 | ctxt->regs_valid | 0 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->as_id | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->id | 0-32766 |
| PARAM_VALUE | 2 | desc | 7311248117179772928 |
| PARAM_VALUE | 3 | desc_addr_p | 442802743742554112 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | selector | r get_segment_selector |
| USER_PTR | 0 | ctxt->fetch.end |