report already adds a newline

Signed-off-by: Andrew Jones <drjones@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

x86/nVMX: Test L1 interception of #BP and #OF in the L2 guest

Int3 (#BP) and INTO (#OF) are unusual, in that they are reported as
"software exception" rather than "hardware exception" in the VM-exit

x86/nVMX: Test L1 interception of #BP and #OF in the L2 guest

Int3 (#BP) and INTO (#OF) are unusual, in that they are reported as
"software exception" rather than "hardware exception" in the VM-exit
interruption information field of the VMCS.

Signed-off-by: Jim Mattson <jmattson@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: add tests for descriptor table exit

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

vmx: add tests for clearing the RDTSCP secondary exec control

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

x86: Introduce lib/x86/asm/io.h

Make x86 consistent with other architectures and put
IO specific defines to lib/x86/asm/io.h

Cc: Andrew Jones <drjones@redhat.com>
Cc: Thomas Huth <thuth@redhat.com>

x86: Introduce lib/x86/asm/io.h

Make x86 consistent with other architectures and put
IO specific defines to lib/x86/asm/io.h

Cc: Andrew Jones <drjones@redhat.com>
Cc: Thomas Huth <thuth@redhat.com>
Cc: Paolo Bonzini <pbonzini@redhat.com>
Cc: Radim Krčmář <rkrcmar@redhat.com>
Reviewed-by: Andrew Jones <drjones@redhat.com>
Signed-off-by: Alexander Gordeev <agordeev@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: test invalid type for INVVPID

Test that it does not cause an infinite stream of vmexits.
The test is not relying on INVVPID doing anything, so it is
not necessary to fall back from SINGLE

x86: vmx: test invalid type for INVVPID

Test that it does not cause an infinite stream of vmexits.
The test is not relying on INVVPID doing anything, so it is
not necessary to fall back from SINGLE to ALL like
vpid_sync does. Therefore I am just changing the test
to try three INVVPID instructions.

Reviewed-by: David Matlack <dmatlack@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: test invalid operand for INVEPT

Check that it doesn't cause an infinite stream of vmexits.

Reviewed-by: David Matlack <dmatlack@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.c

x86: vmx: test invalid operand for INVEPT

Check that it doesn't cause an infinite stream of vmexits.

Reviewed-by: David Matlack <dmatlack@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: better vm{launch,resume} error handling

This patch splits out entry error handling from other exit handling
since most tests don't expect entry errors and thus don't check the
conditions p

x86: vmx: better vm{launch,resume} error handling

This patch splits out entry error handling from other exit handling
since most tests don't expect entry errors and thus don't check the
conditions properly. Also enables tests for early entry errors (i.e.,
an entry_error_handler can return VMX_TEST_RESUME).

Consolidates and simplifies control flow. Now, vmx_run is the central
validation point for exit handler statuses rather than splitting the
responsibility between exit_handler and vmx_run.

Signed-off-by: Peter Feiner <pfeiner@google.com>
Message-Id: <b167ed218ed91d0da9d8aff93ce8175adec7c838.1458340713.git.pfeiner@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

build: enable -Werror

Tested with arch=i386, x86_64, ppc64, and arm64.

Signed-off-by: Peter Feiner <pfeiner@google.com>
Message-Id: <1457042122-30727-1-git-send-email-pfeiner@google.com>
Signed-off

build: enable -Werror

Tested with arch=i386, x86_64, ppc64, and arm64.

Signed-off-by: Peter Feiner <pfeiner@google.com>
Message-Id: <1457042122-30727-1-git-send-email-pfeiner@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: fix RDPMC interception test

RDPMC can cause a general protection fault if ECX is not within the
valid range for performance counters. Tweak the test to ensure that
ECX is valid.

Signed-o

x86: vmx: fix RDPMC interception test

RDPMC can cause a general protection fault if ECX is not within the
valid range for performance counters. Tweak the test to ensure that
ECX is valid.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: fix printf format warnings

Signed-off-by: Andrew Jones <drjones@redhat.com>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Message-Id: <1457008388-12749-5-git-send-email-drjones@redhat.com>
[Fix c

x86: fix printf format warnings

Signed-off-by: Andrew Jones <drjones@redhat.com>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Message-Id: <1457008388-12749-5-git-send-email-drjones@redhat.com>
[Fix conflicts with "x86: clean up exit use, use abort". - Paolo
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

Conflicts:

lib/x86/desc.c

show more ...

x86: vmx: don't explicitly split identity EPT map

Since install_ept_entry automatically splits large EPTEs, it's no
longer necessary to explicitly pave the EPT identity map with 4K
entries mapping [

x86: vmx: don't explicitly split identity EPT map

Since install_ept_entry automatically splits large EPTEs, it's no
longer necessary to explicitly pave the EPT identity map with 4K
entries mapping [base_addr1, base_addr1 + PAGE_SIZE_2M). I.e.,
install_ept(data_page1, data_page2) does the paving before installing
the 4k data_page1 -> data_page2 mapping.

The other setup_ept_range call was unnecessary.

Note that there was benign bug in the deleted code. The third argument
of setup_ept_range is length not end! Thus the range of GPA mappings
being split was [base_addr1, base_addr1 * 2 + PAGE_SIZE_2M).

Signed-off-by: Peter Feiner <pfeiner@google.com>
Message-Id: <1456938657-20850-7-git-send-email-pfeiner@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: actually allocate io_bitmap_b

Test would run and pass with io_bitmap_b = 0.

I discovered the problem while developing a new test. I expected to
get an 'Unhandled cpu exception 14' message

x86: vmx: actually allocate io_bitmap_b

Test would run and pass with io_bitmap_b = 0.

I discovered the problem while developing a new test. I expected to
get an 'Unhandled cpu exception 14' message but the test VM rebooted
instead. I suspect it hit a triple fault but I didn't debug further.

Signed-off-by: Peter Feiner <pfeiner@google.com>
Message-Id: <1456184100-30323-1-git-send-email-pfeiner@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: test invvpid

VPID test case for invvpid single and invvpid all.

Signed-off-by: Wanpeng Li <wanpeng.li@hotmail.com>
Message-Id: <1447160116-14716-1-git-send-email-wanpeng.li@hotmail.com>
S

x86: vmx: test invvpid

VPID test case for invvpid single and invvpid all.

Signed-off-by: Wanpeng Li <wanpeng.li@hotmail.com>
Message-Id: <1447160116-14716-1-git-send-email-wanpeng.li@hotmail.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: Remove bogus GUEST_RIP update from interrupt test

When we get an EXTINT exit, the guest RIP already points to the
instruction after the one that sent it into HLT state. Moving
the RIP base

x86: vmx: Remove bogus GUEST_RIP update from interrupt test

When we get an EXTINT exit, the guest RIP already points to the
instruction after the one that sent it into HLT state. Moving
the RIP based on stale insn_len caused spurious L2 crashes.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Message-Id: <554729D3.5060005@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx: Check #UD triggering of vmmcall

KVM tends to patch and emulated vmmcall on Intel. But that must not
happen for L2.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Marcel

x86: vmx: Check #UD triggering of vmmcall

KVM tends to patch and emulated vmmcall on Intel. But that must not
happen for L2.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>

show more ...

x86: vmx: better use of report

Signed-off-by: Andrew Jones <drjones@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

VMX: Test MSR load/store feature

This checks some usage cases of VMX MSR load/store feature:
1) VM-entry MSR-load area is correctly filled
2) VM-exit MSR-store area is correctly filled
3) VM-exit MS

VMX: Test MSR load/store feature

This checks some usage cases of VMX MSR load/store feature:
1) VM-entry MSR-load area is correctly filled
2) VM-exit MSR-store area is correctly filled
3) VM-exit MSR-load area is correctly filled
4) Attempt to load MSR_FS_BASE on VM entry (must generate
VM-entry failure due to MSR loading)

Signed-off-by: Eugene Korenevsky <ekorenevsky@gmail.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

vmx_tests: do not set unsupported PAT controls in the VMCS

Otherwise, vmlaunch fails. Also, skip PAT tests altogether if save/load
PAT is completely unsupported.

Signed-off-by: Paolo Bonzini <pbon

vmx_tests: do not set unsupported PAT controls in the VMCS

Otherwise, vmlaunch fails. Also, skip PAT tests altogether if save/load
PAT is completely unsupported.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

x86: vmx/svm: test access to L1 MMIO-mapped device via EPT/NPT page tables

This fails on SVM.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

VMX: Test behavior on set and cleared save/load debug controls

This particularly checks the case when debug controls are not to be
loaded/saved on host-guest transitions.

We have to fake results re

VMX: Test behavior on set and cleared save/load debug controls

This particularly checks the case when debug controls are not to be
loaded/saved on host-guest transitions.

We have to fake results related to IA32_DEBUGCTL as support for this MSR
is missing KVM. The test already contains all bits required once KVM
adds support.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

VMX: Test both interception and execution of instructions

Extend the instruction interception test to also check for
interception-free execution.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

VMX: Test both interception and execution of instructions

Extend the instruction interception test to also check for
interception-free execution.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

VMX: Rework test stage interface

Consistently access the stage only via the helper functions. To enforce
this, move them from vmx_tests.c to vmx.c. At this chance, introduce a
stage incrementation h

VMX: Rework test stage interface

Consistently access the stage only via the helper functions. To enforce
this, move them from vmx_tests.c to vmx.c. At this chance, introduce a
stage incrementation helper.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

VMX: Add tests for CR3 and CR8 interception

Need to fix FIELD_* constants for this to make the exit qualification
check work.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo

VMX: Add tests for CR3 and CR8 interception

Need to fix FIELD_* constants for this to make the exit qualification
check work.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...

VMX: Add test for interrupt acknowledgement

If the hypervisor has the interrupt acknowledgement bit set,
vector information is already present in intr_info during a vmexit.
The hypervisor then uses

VMX: Add test for interrupt acknowledgement

If the hypervisor has the interrupt acknowledgement bit set,
vector information is already present in intr_info during a vmexit.
The hypervisor then uses it to call the appropriate handler.

Signed-off-by: Bandan Das <bsd@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>

show more ...