Searched refs:vmcs_read16 (Results 1 – 1 of 1) sorted by relevance
2331 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function2535 *p = vmcs_read16(kvm_vmx_segment_fields[seg].selector); in vmx_read_guest_seg_selector()6158 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_complete_nested_posted_interrupt()6171 return vmcs_read16(GUEST_INTR_STATUS) & 0xff; in vmx_get_rvi()9836 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()9882 name, vmcs_read16(sel), in vmx_dump_sel()9959 vmcs_read16(GUEST_INTR_STATUS)); in dump_vmcs()9965 vmcs_read16(HOST_CS_SELECTOR), vmcs_read16(HOST_SS_SELECTOR), in dump_vmcs()9966 vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR), in dump_vmcs()9967 vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR), in dump_vmcs()[all …]
