Searched refs:vmcs_read16 (Results 1 – 1 of 1) sorted by relevance
1462 static __always_inline u16 vmcs_read16(unsigned long field) in vmcs_read16() function1608 *p = vmcs_read16(kvm_vmx_segment_fields[seg].selector); in vmx_read_guest_seg_selector()4525 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_complete_nested_posted_interrupt()7059 field_value = vmcs_read16(field); in copy_shadow_to_vmcs12()7872 pml_idx = vmcs_read16(GUEST_PML_INDEX); in vmx_flush_pml_buffer()7994 vmcs_read16(GUEST_INTR_STATUS)); in dump_vmcs()8000 vmcs_read16(HOST_CS_SELECTOR), vmcs_read16(HOST_SS_SELECTOR), in dump_vmcs()8001 vmcs_read16(HOST_DS_SELECTOR), vmcs_read16(HOST_ES_SELECTOR), in dump_vmcs()8002 vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR), in dump_vmcs()8003 vmcs_read16(HOST_TR_SELECTOR)); in dump_vmcs()[all …]