Searched refs:guest_intr_status (Results 1 – 4 of 4) sorted by relevance
35 SHADOW_FIELD_RW(GUEST_INTR_STATUS, guest_intr_status)
179 u16 guest_intr_status; member352 CHECK_OFFSET(guest_intr_status, 980); in vmx_check_vmcs12_offsets()
23 FIELD(GUEST_INTR_STATUS, guest_intr_status),
2351 vmcs12->guest_intr_status); in prepare_vmcs02_early()3416 vmcs12->guest_intr_status, in nested_vmx_enter_non_root_mode()4432 vmcs12->guest_intr_status = vmcs_read16(GUEST_INTR_STATUS); in sync_vmcs02_to_vmcs12()