VM_ENTRY_INTR_INFO_FIELD
EVMCS1_FIELD(VM_ENTRY_INTR_INFO_FIELD, vm_entry_intr_info_field,
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD,
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0);
FIELD(VM_ENTRY_INTR_INFO_FIELD, vm_entry_intr_info_field),
SHADOW_FIELD_RW(VM_ENTRY_INTR_INFO_FIELD, vm_entry_intr_info_field)
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr_info);
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0); /* 22.2.1 */
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, intr);
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD,
*intr_info = vmcs_read32(VM_ENTRY_INTR_INFO_FIELD);
vmcs_read32(VM_ENTRY_INTR_INFO_FIELD),
vmcs_read32(VM_ENTRY_INTR_INFO_FIELD),
vmcs_write32(VM_ENTRY_INTR_INFO_FIELD, 0);
case VM_ENTRY_INTR_INFO_FIELD:
case VM_ENTRY_INTR_INFO_FIELD:
vmwrite(VM_ENTRY_INTR_INFO_FIELD, 0);