EOI_EXIT_BITMAP3 2286 arch/x86/kvm/vmx/nested.c 		vmcs_write64(EOI_EXIT_BITMAP3, vmcs12->eoi_exit_bitmap3);
EOI_EXIT_BITMAP3   48 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(EOI_EXIT_BITMAP3, eoi_exit_bitmap3),
EOI_EXIT_BITMAP3 4174 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(EOI_EXIT_BITMAP3, 0);
EOI_EXIT_BITMAP3 6187 arch/x86/kvm/vmx/vmx.c 	vmcs_write64(EOI_EXIT_BITMAP3, eoi_exit_bitmap[3]);