Defined in 1 files as a function:
Referenced in 3 files:
- arch/x86/kvm/vmx/nested.c
-
arch/x86/kvm/vmx/vmx.c
- line 880
- line 1637
- line 1947
- line 2138
- line 2141
- line 2171
- line 2174
- line 2265
- line 2268
- line 2271
- line 2646
- line 2649
- line 2659
- line 2667
- line 2673
- line 3156
- line 3161
- line 3162
- line 3237
- line 3243
- line 3793
- line 3805
- line 5541
- line 5771
- line 5825
- line 6483
- line 6490
- line 6521
- line 6537
- line 6537
- line 6538
- line 6540
- line 6540
- line 6541
- line 6549
- line 6549
- line 6551
- line 6551
- line 6553
- line 6554
- line 6581
- line 6601
- line 6601
- line 6602
- line 6605
- line 6605
- line 6612
- line 6612
- line 6613
- line 6615
- line 6615
- line 6617
- line 6617
- line 6618
- line 6620
- line 6622
- line 6635
- line 6635
- line 6636
- line 6656
- arch/x86/kvm/vmx/vmx.h, line 328
Smatch caller information:
arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24578 |
arch/x86/kvm/vmx/nested.c nested_vmx_restore_host_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26650 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_restore_host_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24580 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_restore_host_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24578 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c nested_vmx_restore_host_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24582 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26656 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26626 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25610 |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26630 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26632 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26634 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26636 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26638 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26640 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26642 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26644 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26646 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26648 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c sync_vmcs02_to_vmcs12_rare() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26658 |
| PREEMPT_ADD |
arch/x86/kvm/vmx/nested.c vmcs12_guest_cr0() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26624 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c vmcs12_guest_cr0() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24580 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c vmcs12_guest_cr4() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26628 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c vmcs12_guest_cr4() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24582 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/nested.c vmcs_read_cet_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26664 |
arch/x86/kvm/vmx/nested.c vmcs_read_cet_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26666 |
arch/x86/kvm/vmx/nested.c vmcs_read_cet_state() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26668 |
arch/x86/kvm/vmx/nested.c vmx_get_exit_qual() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
arch/x86/kvm/vmx/tdx.c vmx_get_exit_qual() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26628 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26624 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24580 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24576 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24582 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24578 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26626 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26652 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26654 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26656 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26650 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26660 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26662 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26658 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26664 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26666 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26668 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27670 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27668 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27654 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27656 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27658 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27660 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27662 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27648 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27650 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27652 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27664 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27666 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27672 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27674 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 27676 |
arch/x86/kvm/vmx/vmx.c dump_vmcs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
arch/x86/kvm/vmx/vmx.c enter_pmode() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26656 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/vmx.c enter_pmode() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26628 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/vmx.c enter_pmode() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 24582 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26656 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26628 |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/vmx/vmx.c handle_dr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26650 |
arch/x86/kvm/vmx/vmx.c handle_exception_nmi() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26650 |
arch/x86/kvm/vmx/vmx.c vmx_cache_reg() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26652 |
arch/x86/kvm/vmx/vmx.c vmx_cache_reg() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26654 |
arch/x86/kvm/vmx/vmx.c vmx_cache_reg() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26624 |
arch/x86/kvm/vmx/vmx.c vmx_cache_reg() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26626 |
arch/x86/kvm/vmx/vmx.c vmx_cache_reg() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26628 |
arch/x86/kvm/vmx/vmx.c vmx_dump_dtsel() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26646,26648 |
arch/x86/kvm/vmx/vmx.c vmx_dump_sel() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26630,26632,26634,26636,26638,26640,26642,26644 |
arch/x86/kvm/vmx/vmx.c vmx_get_exit_qual() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 25600 |
arch/x86/kvm/vmx/vmx.c vmx_get_gdt() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26646 |
arch/x86/kvm/vmx/vmx.c vmx_get_idt() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26648 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26638 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26640 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26662 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26660 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26664 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26666 |
arch/x86/kvm/vmx/vmx.c vmx_get_msr() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26668 |
arch/x86/kvm/vmx/vmx.c vmx_get_rflags() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26656 |
arch/x86/kvm/vmx/vmx.c vmx_inject_exception() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26658 |
arch/x86/kvm/vmx/vmx.c vmx_read_guest_seg_base() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26630,26632,26634,26636,26638,26640,26642,26644 |
arch/x86/kvm/vmx/vmx.c vmx_sync_dirty_debug_regs() -> vmcs_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 26650 |