diff options
| author | jhb <jhb@FreeBSD.org> | 2014-05-17 19:11:08 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2014-05-17 19:11:08 +0000 |
| commit | bbf655f9b49cc39db4559ede5c58d302ff8f3de2 (patch) | |
| tree | f6cf26193250fdea84a6946390d9759716c70b5c /usr.sbin/bhyvectl | |
| parent | 7e7928763170f8b10771c099cf46224daaf67bca (diff) | |
| download | FreeBSD-src-bbf655f9b49cc39db4559ede5c58d302ff8f3de2.zip FreeBSD-src-bbf655f9b49cc39db4559ede5c58d302ff8f3de2.tar.gz | |
MFC 259641,259863,259924,259937,259961,259978,260380,260383,260410,260466,
260531,260532,260550,260619,261170,261453,261621,263280,263290,264516:
Add support for local APIC hardware-assist.
- Restructure vlapic access and register handling to support hardware-assist
for the local APIC.
- Use the 'Virtual Interrupt Delivery' and 'Posted Interrupt Processing'
feature of Intel VT-x if supported by hardware.
- Add an API to rendezvous all active vcpus in a virtual machine and use
it to support level triggered interrupts with VT-x 'Virtual Interrupt
Delivery'.
- Use a cheaper IPI handler than IPI_AST for nested page table shootdowns
and avoid doing unnecessary nested TLB invalidations.
Reviewed by: neel
Diffstat (limited to 'usr.sbin/bhyvectl')
| -rw-r--r-- | usr.sbin/bhyvectl/bhyvectl.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/usr.sbin/bhyvectl/bhyvectl.c b/usr.sbin/bhyvectl/bhyvectl.c index efb111f..50a71bb 100644 --- a/usr.sbin/bhyvectl/bhyvectl.c +++ b/usr.sbin/bhyvectl/bhyvectl.c @@ -1453,8 +1453,7 @@ main(int argc, char *argv[]) } if (!error && (get_vmcs_exit_interruption_info || get_all)) { - error = vm_get_vmcs_field(ctx, vcpu, - VMCS_EXIT_INTERRUPTION_INFO, &u64); + error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_INFO, &u64); if (error == 0) { printf("vmcs_exit_interruption_info[%d]\t0x%08lx\n", vcpu, u64); @@ -1462,8 +1461,8 @@ main(int argc, char *argv[]) } if (!error && (get_vmcs_exit_interruption_error || get_all)) { - error = vm_get_vmcs_field(ctx, vcpu, - VMCS_EXIT_INTERRUPTION_ERROR, &u64); + error = vm_get_vmcs_field(ctx, vcpu, VMCS_EXIT_INTR_ERRCODE, + &u64); if (error == 0) { printf("vmcs_exit_interruption_error[%d]\t0x%08lx\n", vcpu, u64); |
