Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c check_dr_read() -> emulate_db()
| 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->modrm_reg | 0-7 |
| 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->vcpu->arch.is_amd_compatible | 0-1 |
| PARAM_VALUE | 1 | dr6 | 8192 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |