Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c emulator_do_task_switch() -> (struct x86_emulate_ops)->get_cached_segment_base()
| 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 | 1 | seg | 6 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c seg_base() -> (struct x86_emulate_ops)->get_cached_segment_base()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->cpl | 6737863978865057792 |
| PARAM_VALUE | 0 | ctxt->ops->fetch | 2258739512120655872 |
| PARAM_VALUE | 0 | ctxt->ops->get_cpuid | 291073540962553856 |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_dr | 6363670713866342400 |
| PARAM_VALUE | 0 | ctxt->ops->get_gdt | 6111009743717314560 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_xcr | 6722027107081879552 |
| PARAM_VALUE | 0 | ctxt->ops->guest_has_fxsr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->halt | 6548181984119402496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->invlpg | 235395791615361024 |
| PARAM_VALUE | 0 | ctxt->ops->is_smm | 9048849403536982016 |
| PARAM_VALUE | 0 | ctxt->ops->leave_smm | 6128904722576306176 |
| PARAM_VALUE | 0 | ctxt->ops->read_gpr | 1005886465514696704 |
| PARAM_VALUE | 0 | ctxt->ops->read_pmc | 4606696898027712512 |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_cr | 5833301891177918464 |
| PARAM_VALUE | 0 | ctxt->ops->set_dr | 2753491279447883776 |
| PARAM_VALUE | 0 | ctxt->ops->set_gdt | 6242426400945483776 |
| PARAM_VALUE | 0 | ctxt->ops->set_idt | 6286225960034410496 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->set_xcr | 6009047679124041728 |
| PARAM_VALUE | 0 | ctxt->ops->vm_bugged | 6136517553627795456 |
| PARAM_VALUE | 0 | ctxt->ops->wbinvd | 339349817605853184 |
| PARAM_VALUE | 0 | ctxt->ops->write_gpr | 1556764139847757824 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | (-1),8 |
| BUF_SIZE | 0 | ctxt->fetch.ptr | (-1),15 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 1 | seg | $1 |
| CONTAINER | 0 | -112-8+0 | $(-1) |
| USER_DATA | 0 | *ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |