Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c em_cpuid() -> (struct x86_emulate_ops)->get_cpuid()
| 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 | eax | 1390272566958874624 |
| PARAM_VALUE | 2 | ebx | 1953069642100379648 |
| PARAM_VALUE | 3 | ecx | 764635921698844672 |
| PARAM_VALUE | 4 | edx | 3738583776780685312 |
| PARAM_VALUE | 5 | exact_only | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -280-8+0 | $(-1) |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c string_registers_quirk() -> (struct x86_emulate_ops)->get_cpuid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ad_bytes | 4 |
| 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 | 0 | ctxt->rep_prefix | 1-255 |
| PARAM_VALUE | 1 | eax | 4921008482748043264 |
| PARAM_VALUE | 1 | *eax | 0 |
| PARAM_VALUE | 2 | ebx | 4462872359937589248 |
| PARAM_VALUE | 3 | ecx | 7996471011013787648 |
| PARAM_VALUE | 3 | *ecx | 0 |
| PARAM_VALUE | 4 | edx | 5848850889910558720 |
| PARAM_VALUE | 5 | exact_only | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -280-8+0 | $(-1) |
| BIT_INFO | 0 | ctxt->d | 0x2000,0xffffffffffffffff |
| NOCHECK_CALL | |||
| USER_PTR | 0 | ctxt->fetch.end |