vmcs_write16 identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/vmx/vmx_ops.h, line 227 (as a function)

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2
PARAM_VALUE	1	value	240
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_constant_state() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2066
PARAM_VALUE	1	value	u16max
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_early() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2064
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_early_rare() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	0
PARAM_VALUE	1	value	1-64
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c prepare_vmcs02_early_rare() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	0
PARAM_VALUE	1	value	0-64
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2048
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2050
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2052
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2054
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2056
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2058
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2060
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2062
NOCHECK_CALL

arch/x86/kvm/vmx/nested.c vmx_complete_nested_posted_interrupt() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2064
NOCHECK_CALL

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

Type	Parameter	Key	Value
NOCHECK_CALL
UNITS	1	value	unit_byte

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

Type	Parameter	Key	Value
NOCHECK_CALL
UNITS	1	value	unit_byte

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

Type	Parameter	Key	Value
NOCHECK_CALL
UNITS	1	value	unit_byte

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2
PARAM_VALUE	1	value	242
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	8
NOCHECK_CALL

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

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

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	0
PARAM_VALUE	1	value	1-64
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2066
PARAM_VALUE	1	value	511
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	1	value	0
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_flush_pml_buffer() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2066
PARAM_VALUE	1	value	511
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_hwapic_isr_update() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2064
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3074
PARAM_VALUE	1	value	16
NOCHECK_CALL

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

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

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

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

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3076
PARAM_VALUE	1	value	24
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3084
PARAM_VALUE	1	value	64
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3080
DATA_SOURCE	1	value	$1
BIT_INFO	1	value	0x0,0xfff8
PREEMPT_ADD
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3080
PARAM_VALUE	1	value	0
PREEMPT_ADD
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3082
DATA_SOURCE	1	value	$2
BIT_INFO	1	value	0x0,0xfff8
PREEMPT_ADD
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	3082
PARAM_VALUE	1	value	0
PREEMPT_ADD
NOCHECK_CALL

arch/x86/kvm/vmx/vmx.c vmx_set_rvi() -> vmcs_write16()

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2064
NOCHECK_CALL

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

Type	Parameter	Key	Value
PARAM_VALUE	0	field	2050
PARAM_VALUE	1	value	61440
NOCHECK_CALL

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

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

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

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