Searched refs:GUEST_INTR_STATUS (Results 1 – 4 of 4) sorted by relevance
115 GUEST_INTR_STATUS = 0x00000810, enumerator
310 vmwrite(GUEST_INTR_STATUS, 0); in init_vmcs_guest_state()
4870 vmcs_write16(GUEST_INTR_STATUS, 0); in init_vmcs()6567 vmcs_read16(GUEST_INTR_STATUS)); in dump_vmcs()6640 u16 status = vmcs_read16(GUEST_INTR_STATUS); in dump_vmcs()7013 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_hwapic_isr_update()7018 vmcs_write16(GUEST_INTR_STATUS, status); in vmx_hwapic_isr_update()7030 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_set_rvi()7035 vmcs_write16(GUEST_INTR_STATUS, status); in vmx_set_rvi()
2463 vmcs_write16(GUEST_INTR_STATUS, in prepare_vmcs02_early()4032 status = vmcs_read16(GUEST_INTR_STATUS); in vmx_complete_nested_posted_interrupt()4036 vmcs_write16(GUEST_INTR_STATUS, status); in vmx_complete_nested_posted_interrupt()4685 vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS); in sync_vmcs02_to_vmcs12()