Searched refs:VMCS_ENTRY_INTR_INFO (Results 1 – 3 of 3) sorted by relevance
177 #define VMCS_ENTRY_INTR_INFO 0x00004016 macro
1154 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_nmi()1163 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_nmi()1182 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1200 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_interrupts()1218 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1295 info = vmcs_read(VMCS_ENTRY_INTR_INFO); in vmx_inject_interrupts()1312 vmcs_write(VMCS_ENTRY_INTR_INFO, info); in vmx_inject_interrupts()
1029 error = vm_get_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO,&u64); in get_misc_vmcs()1759 error = vm_set_vmcs_field(ctx, vcpu, VMCS_ENTRY_INTR_INFO, in main()