Defined in 1 files as a function:
Referenced in 7 files:
- arch/x86/kvm/svm/avic.c, line 1204
- arch/x86/kvm/svm/nested.c
- arch/x86/kvm/svm/sev.c, line 3619
- arch/x86/kvm/svm/svm.c
- arch/x86/kvm/svm/svm.h
- arch/x86/kvm/svm/svm_onhyperv.c, line 32
- arch/x86/kvm/svm/svm_onhyperv.h
Smatch caller information:
arch/x86/kvm/svm/svm_onhyperv.c svm_hv_enable_l2_tlb_flush() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 31 |
| NOCHECK_CALL |
arch/x86/kvm/svm/sev.c pre_sev_run() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 2 |
| CAPPED_DATA | 0 | vmcb | 1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/sev.c svm_mark_intercepts_dirty() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 0,18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dst_kvm->lock | ||
| HALF_LOCKED2 | &src_kvm->lock |
arch/x86/kvm/svm/svm.c grow_ple_window() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c new_asid() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 2 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c sev_post_set_cr3() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c shrink_ple_window() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_clear_vintr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 3 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_hv_update_vp_id() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 31 |
| DATA_SOURCE | 0 | vmcb | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_hv_vmcb_dirty_nested_enlightenments() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 31 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_load_mmu_pgd() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 4 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_load_mmu_pgd() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_mark_intercepts_dirty() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_cr0() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_cr4() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 5 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_dr6() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 6 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_dr7() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 6 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_efer() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 5 |
| BIT_INFO | 0 | vmcb->save.efer | 0x1000,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_gdt() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_idt() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_msr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 12 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_msr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 12 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_msr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 12 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_msr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 10 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_msr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 10 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_segment() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 8 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_vintr() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 3 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_set_vnmi_pending() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 3 |
| BIT_INFO | 0 | vmcb->control.int_ctl | 0x800,0xffffffff |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_vcpu_run() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 2 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c svm_write_tsc_offset() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/svm.c vmcb_set_gpat() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 4 |
| DATA_SOURCE | 0 | vmcb | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_svm_vmexit() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | bit | 10 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_svm_vmexit() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_control() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 1 |
| BIT_INFO | 0 | vmcb->control.misc_ctl | 0x0,0x9 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_save() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 8 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_save() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 7 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_save() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 12 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_save() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 6 |
| BIT_INFO | 0 | vmcb->save.dr7 | 0x400,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_prepare_save() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 10 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c nested_vmcb02_recalc_intercepts() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bit | 0 |
| CAPPED_DATA | 0 | vmcb | 1 |
| NOCHECK_CALL |
arch/x86/kvm/svm/nested.c vmcb_set_gpat() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 4096-ptr_max |
| PARAM_VALUE | 1 | bit | 4 |
| DATA_SOURCE | 0 | vmcb | $0 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c avic_refresh_virtual_apic_mode() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | bit | 11 |
| NOCHECK_CALL |
arch/x86/kvm/svm/avic.c svm_mark_intercepts_dirty() -> vmcb_mark_dirty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 1 | bit | 0 |
| NOCHECK_CALL |