Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c __load_segment_descriptor() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 2-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 | 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 | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 4051711529905152000 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c check_svme() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->d | 8192-u64max |
| PARAM_VALUE | 0 | ctxt->mem_read.pos | 0 |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 4959489428326420480 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_rdpid() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225731 |
| PARAM_VALUE | 2 | pdata | 7698481463695777792 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_rdtsc() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 16 |
| PARAM_VALUE | 2 | pdata | 8950159841864040448 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_syscall() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 7377084908638474240 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_syscall() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225601 |
| PARAM_VALUE | 2 | pdata | 230197734194020352 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_syscall() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225602-3221225603 |
| PARAM_VALUE | 2 | pdata | 230197734194020352 |
| PARAM_VALUE | 2 | *pdata | 0-u32max |
| DATA_SOURCE | 0 | ctxt | $0 |
| FUZZY_MAX | 1 | msr_index | 3221225603 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 1 | msr_index | 0xc0000082,0xc0000083 |
| HARD_MAX | 1 | msr_index | 3221225603 |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_syscall() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225604 |
| PARAM_VALUE | 2 | pdata | 230197734194020352 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_syscall() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225601 |
| PARAM_VALUE | 2 | pdata | 230197734194020352 |
| PARAM_VALUE | 2 | *pdata | 0-u32max |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_sysenter() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 2498698134289895424 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_sysenter() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 1-3,5-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 372 |
| PARAM_VALUE | 2 | pdata | 6869584154289725440 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_sysenter() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 1-3,5-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 374 |
| PARAM_VALUE | 2 | pdata | 6869584154289725440 |
| PARAM_VALUE | 2 | *pdata | 4-u64max |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->eflags | 0x0,0xfffffffffffdfdff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_sysenter() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 1-3,5-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 373 |
| PARAM_VALUE | 2 | pdata | 6869584154289725440 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->eflags | 0x0,0xfffffffffffdfdff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_sysexit() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 2-u32max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 372 |
| PARAM_VALUE | 2 | pdata | 4954510068747104256 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulator_is_ssp_invalid() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 2-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 | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 1343313326900289536 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulator_is_ssp_invalid() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 2-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 | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 1 | msr_index | 1696,1698 |
| PARAM_VALUE | 2 | pdata | 7268339951792312320 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| FUZZY_MAX | 1 | msr_index | 1698 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 1 | msr_index | 0x6a0,0x6a2 |
| HARD_MAX | 1 | msr_index | 1698 |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulator_is_ssp_invalid() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 2-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 | 0 | ctxt->vcpu->kvm->vm_bugged | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->kvm->vm_dead | 0-1 |
| PARAM_VALUE | 1 | msr_index | 1263947263 |
| PARAM_VALUE | 2 | pdata | 5601331028919992320 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulator_recalc_and_set_mode() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 8853942836760453120 |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 8129238678163517440 |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 7209599553600106496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 5532471905094541312 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 2633100940669464576 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c get_descriptor_ptr() -> (struct x86_emulate_ops)->get_msr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| 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 | 1 | msr_index | 3221225600 |
| PARAM_VALUE | 2 | pdata | 1486887861173706752 |
| PARAM_VALUE | 2 | *pdata | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c x86_decode_insn() -> (struct x86_emulate_ops)->get_msr()
| 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->fetch.ptr | 4096-u64max |
| PARAM_VALUE | 0 | ctxt->intercept | 0 |
| PARAM_VALUE | 0 | ctxt->memop.type | 7 |
| PARAM_VALUE | 0 | ctxt->memopp | 0 |
| 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->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 1 | msr_index | 1696 |
| PARAM_VALUE | 2 | pdata | 5199610414456508416 |
| PARAM_VALUE | 2 | *pdata | 5 |
| 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 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x0,0xfffffffffffc7fff |
| USER_DATA | 0 | *ctxt->fetch.end | 0-255 |
arch/x86/kvm/emulate.c x86_decode_insn() -> (struct x86_emulate_ops)->get_msr()
| 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->fetch.ptr | 4096-u64max |
| PARAM_VALUE | 0 | ctxt->intercept | 0 |
| PARAM_VALUE | 0 | ctxt->memop.type | 7 |
| PARAM_VALUE | 0 | ctxt->memopp | 0 |
| 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->arch.gva_walk.fmt.pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->base_gfn | 0-s64max |
| PARAM_VALUE | 1 | msr_index | 1698 |
| PARAM_VALUE | 2 | pdata | 7784733032078082048 |
| PARAM_VALUE | 2 | *pdata | 5 |
| 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 |
| CONTAINER | 0 | -216-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x0,0xfffffffffffc7fff |
| USER_DATA | 0 | *ctxt->fetch.end | 0-255 |