Searched refs:vmcs_read16 (Results 1 – 1 of 1) sorted by relevance
1491 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function1637 *p = vmcs_read16(kvm_vmx_segment_fields[seg].selector); in vmx_read_guest_seg_selector()4747 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_complete_nested_posted_interrupt()7163 field_value = vmcs_read16(field); in copy_shadow_to_vmcs12()7981 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()8027 name, vmcs_read16(sel), in vmx_dump_sel()8103 vmcs_read16(GUEST_INTR_STATUS)); in dump_vmcs()8109 vmcs_read16(HOST_CS_SELECTOR), vmcs_read16(HOST_SS_SELECTOR), in dump_vmcs()8110 vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR), in dump_vmcs()8111 vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR), in dump_vmcs()[all …]