Print information about msr settings that don't quite work out.
authorRonald G. Minnich <rminnich@gmail.com>
Mon, 29 Jun 2015 20:45:27 +0000 (13:45 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
commitf425c001529918d83f1d94498b4a3687210531f6
treeb0cdf17fc19b326b890329d8c5bb1f1eb0efb34b
parent6f95e5b7dc96ad2afacc29c034f9217defb5b98f
Print information about msr settings that don't quite work out.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c