Defined in 1 files as a function:
Referenced in 6 files:
-
arch/x86/kvm/vmx/nested.c
- line 230
- line 2365
- line 2369
- line 2375
- line 2383
- line 2388
- line 2398
- line 2399
- line 2400
- line 2410
- line 2681
- line 2685
- line 2713
- line 2714
- line 2715
- line 2716
- line 2794
- line 2807
- line 2810
- line 2822
- line 2824
- line 2879
- line 2880
- line 2881
- line 2882
- line 3464
- line 3480
- line 3498
- line 3509
- line 4854
- line 4869
- line 5174
- line 5176
- line 5882
- line 7093
- line 7094
- arch/x86/kvm/vmx/pmu_intel.c, line 796
- arch/x86/kvm/vmx/sgx.c, line 510
- arch/x86/kvm/vmx/sgx.h, line 30
-
arch/x86/kvm/vmx/vmx.c
- line 1064
- line 1066
- line 2066
- line 2071
- line 2428
- line 2485
- line 2537
- line 3409
- line 3410
- line 3411
- line 3412
- line 3548
- line 4514
- line 4518
- line 4543
- line 4895
- line 4897
- line 4907
- line 4915
- line 4916
- line 4917
- line 4918
- line 4923
- line 4927
- line 4951
- line 4954
- line 4956
- line 4958
- line 4961
- line 4977
- line 4980
- line 4990
- line 5000
- line 5002
- line 5090
- line 7008
- line 7142
- line 7143
- line 7144
- line 7145
- line 7399
- arch/x86/kvm/vmx/vmx.h, line 412
Smatch caller information:
arch/x86/kvm/vmx/sgx.c vmx_write_encls_bitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8238 |
| BIT_INFO | 1 | value | 0xffffffffffff0000,0xffffffffffffffff |
| BIT_INFO | 1 | value | 0xffffffffffff0000,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c __nested_vmx_vmexit() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8208 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | value | 0-u64max |
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c __nested_vmx_vmexit() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8242 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8212 |
| PARAM_VALUE | 1 | value | 0,4096-18446744073709547520 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8210 |
| PARAM_VALUE | 1 | value | 0,4096-18446744073709547520 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8210 |
| PARAM_VALUE | 1 | value | u64max |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_get_vmcs12_pages() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8214 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_vmx_set_vmcs_shadowing_bitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8230 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c nested_vmx_set_vmcs_shadowing_bitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8232 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8208 |
| DATA_SOURCE | 1 | value | r kvm_calc_nested_tsc_offset |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8242 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10250 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10252 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10254 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10256 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8234 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8216 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8196 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8206 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8238 |
| PARAM_VALUE | 1 | value | u64max |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8198 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8200 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8202 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_early_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10240 |
| PARAM_VALUE | 1 | value | u64max |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8236 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8220 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8222 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8224 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8226 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c set_current_vmptr() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10240 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c vmx_disable_shadow_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10240 |
| PARAM_VALUE | 1 | value | u64max |
| NOCHECK_CALL |
arch/x86/kvm/vmx/nested.c vmx_guest_debugctl_write() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| DATA_SOURCE | 1 | value | $1 [m] |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max[c] |
arch/x86/kvm/vmx/pmu_intel.c intel_pmu_write_global_ctrl() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10248 |
| DATA_SOURCE | 1 | value | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/pmu_intel.c vmx_guest_debugctl_write() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| PARAM_VALUE | 1 | value | 0,2048-u64max |
| DATA_SOURCE | 1 | value | $1 [m] |
| BIT_INFO | 1 | value | 0x800,0xfffffffffffffffe |
| BIT_INFO | 1 | value | 0x800,0xfffffffffffffffe |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c add_atomic_switch_msr_special() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10246,10248 |
| DATA_SOURCE | 0 | field | $3 |
| DATA_SOURCE | 1 | value | $5 |
| HARD_MAX | 0 | field | 10248 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c add_atomic_switch_msr_special() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11268 |
| DATA_SOURCE | 0 | field | $4 |
| DATA_SOURCE | 1 | value | $6 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8196 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10240 |
| PARAM_VALUE | 1 | value | u64max |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8234 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8220 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8222 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8224 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8226 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8214 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8258 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8216 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8198 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8200 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8202 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10244 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8236 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8206 |
| PARAM_VALUE | 1 | value | 0,4096-18446744073709547520 |
| BIT_INFO | 1 | value | 0x0,0xfffffffffffff000 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10260 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8210 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8210 |
| CAPPED_DATA | 1 | value | 1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c tertiary_exec_controls_set() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8244 |
| CAPPED_DATA | 1 | value | 1 |
| CAPPED_DATA | 1 | value | 1 |
| DATA_SOURCE | 1 | value | $1 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_ept_load_pdptrs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10250 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/vmx.c vmx_ept_load_pdptrs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10252 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/vmx.c vmx_ept_load_pdptrs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10254 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/vmx.c vmx_ept_load_pdptrs() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10256 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/vmx.c vmx_guest_debugctl_write() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10242 |
| DATA_SOURCE | 1 | value | $1 [m] |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmx_load_eoi_exitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8220 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_load_eoi_exitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8222 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_load_eoi_exitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8224 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_load_eoi_exitmap() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8226 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_load_mmu_pgd() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8218 |
| PARAM_VALUE | 1 | value | 0,8-u64max |
| BIT_INFO | 1 | value | 0x6,0xffffffffffffffff |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_refresh_guest_perf_global_control() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10248 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmx_set_apic_access_page_addr() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8212 |
| PARAM_VALUE | 1 | value | 0,4096-18446744073709543424 |
| NOCHECK_CALL | |||
| LOCK2 | &vcpu->kvm->mmu_lock | ||
| TYPE_LOCK | (struct kvm)->mmu_lock |
arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11264 |
| CAPPED_DATA | 1 | value | 1 |
| CAPPED_DATA | 1 | value | 1 |
| DATA_SOURCE | 1 | value | r paravirt_read_msr |
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u64max |
arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11266 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 11268 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
| BIT_INFO | 1 | value | 0x0,0xfffffffffffff003 |
| BIT_INFO | 1 | value | 0x0,0xfffffffffffff003 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 10258 |
| PARAM_VALUE | 1 | value | 0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_write_tsc_multiplier() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8242 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |
arch/x86/kvm/vmx/vmx.c vmx_write_tsc_offset() -> vmcs_write64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | field | 8208 |
| NOCHECK_CALL | |||
| UNITS | 1 | value | unit_byte |