Searched refs:vmcs_read16 (Results 1 – 1 of 1) sorted by relevance
1388 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function1534 *p = vmcs_read16(kvm_vmx_segment_fields[seg].selector); in vmx_read_guest_seg_selector()4393 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_complete_nested_posted_interrupt()6920 field_value = vmcs_read16(field); in copy_shadow_to_vmcs12()7675 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()7888 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_hwapic_isr_update()7905 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_set_rvi()9733 vmcs12->guest_es_selector = vmcs_read16(GUEST_ES_SELECTOR); in prepare_vmcs12()9734 vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR); in prepare_vmcs12()9735 vmcs12->guest_ss_selector = vmcs_read16(GUEST_SS_SELECTOR); in prepare_vmcs12()[all …]