Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26660
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26662
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26648
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c load_vmcs12_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26646
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c nested_vmx_update_pending_dbg() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26658
PARAM_VALUE 1 value 1-u64max
DATA_SOURCE 1 value r vmx_get_pending_dbg_trap
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24576
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24580
CAPPED_DATA 1 value 1
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24582
CAPPED_DATA 1 value 1
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26626
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26630
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26632
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26634
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26636
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26638
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26640
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26642
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26644
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26646
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26648
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26658
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26660
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/nested.c prepare_vmcs02_rare() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26662
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/nested.c vmcs_write_cet_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26664
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmcs_write_cet_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26666
DATA_SOURCE 1 value $2
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmcs_write_cet_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26668
DATA_SOURCE 1 value $3
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c __vmx_set_segment() -> vmcs_writel()

Type Parameter Key Value
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c enter_pmode() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26656
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c enter_pmode() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26628
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26644
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26656
PARAM_VALUE 1 value 0,4096-u64max
BIT_INFO 1 value 0x23000,0xffffffffffffffff
BIT_INFO 1 value 0x23000,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c enter_rmode() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26628
BIT_INFO 1 value 0x1,0xffffffffffffffff
NOCHECK_CALL
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/vmx/vmx.c fix_rmode_seg() -> vmcs_writel()

Type Parameter Key Value
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c handle_set_cr0() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24580
CAPPED_DATA 1 value 1
CAPPED_DATA 1 value 1
NOCHECK_CALL
USER_DATA 1 value 0-u64max[c]

arch/x86/kvm/vmx/vmx.c handle_set_cr4() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24582
CAPPED_DATA 1 value 1
CAPPED_DATA 1 value 1
NOCHECK_CALL
USER_DATA 1 value 0-u64max[c]

arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27654
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27656
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24576
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26660
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c init_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26662
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c seg_setup() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c set_cr4_guest_host_mask() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24578
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_inject_exception() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26658
PARAM_VALUE 1 value 0,16384-u64max
BIT_INFO 1 value 0x4000,0xffffffffffffffff
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_load_mmu_pgd() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26626
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27648
CAPPED_DATA 1 value 1
CAPPED_DATA 1 value 1
DATA_SOURCE 1 value r read_cr0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27650
CAPPED_DATA 1 value 1
CAPPED_DATA 1 value 1
DATA_SOURCE 1 value r __read_cr3
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27652
DATA_SOURCE 1 value r cr4_read_shadow
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27662
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27670
PARAM_VALUE 1 value 6037262558446133248
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27666
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_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27672
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27674
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_constant_host_state() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27676
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_cr0() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24580
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_cr0() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26624
BIT_INFO 1 value 0x20,0xffffffff9fffffff
BIT_INFO 1 value 0x20,0xffffffff9fffffff
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_cr4() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 24582
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_cr4() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26628
BIT_INFO 1 value 0x2000,0xffffffffffffffff
BIT_INFO 1 value 0x2000,0xffffffffffffffff
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_dr7() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26650
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_gdt() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26646
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_host_fs_gs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27654
DATA_SOURCE 1 value $3
PREEMPT_ADD
NOCHECK_CALL
HOST_DATA 1 value 0-u64max[c]

arch/x86/kvm/vmx/vmx.c vmx_set_host_fs_gs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27656
DATA_SOURCE 1 value $4
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_idt() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26648
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26638
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26640
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26662
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_msr() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26660
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_set_rflags() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26656
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_rflags() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26656
DATA_SOURCE 1 value $1 [m]
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_update_host_rsp() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27668
DATA_SOURCE 1 value $1
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_load_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27658
PARAM_VALUE 1 value 4096-18446744073709547520
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_load_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27660
BUF_SIZE 1 value 4096
DATA_SOURCE 1 value r get_current_gdt_ro
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_load_vmcs() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27664
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26632
PARAM_VALUE 1 value 4294901760
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26644
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26642
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26646
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26648
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26658
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26666
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26668
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_reset() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26664
PARAM_VALUE 1 value 0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26652
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 26654
NOCHECK_CALL
UNITS 1 value unit_byte

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27650
CAPPED_DATA 1 value 1
CAPPED_DATA 1 value 1
DATA_SOURCE 1 value r __get_current_cr3_fast
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_vcpu_run() -> vmcs_writel()

Type Parameter Key Value
PARAM_VALUE 0 field 27652
DATA_SOURCE 1 value r cr4_read_shadow
NOCHECK_CALL