print_svm_info: decode a CPUID 0x8000000a.edx bit 20.

This is SVM features word, the bit is defined in "PPR for AMD Family 17h Model 31h B0", document 55803 Rev 0.54. N.B. GuesSpecCtl (no 't') is the spelling from the document. Submitted by: Dmitry Luhtionov <dmitryluhtionov@gmail.com> MFC after: 3 days
svn path=/head/; revision=358225
2020-02-21 16:41:17 +00:00 · 2020-02-21 16:41:17 +00:00 · 3f490f6e57 · 2020-12-20 02:59:44 +00:00
commit 3f490f6e57
parent 08f5e6bb81
1 changed files with 1 additions and 1 deletions
--- a/sys/x86/x86/identcpu.c
+++ b/sys/x86/x86/identcpu.c
@ -2385,7 +2385,7 @@ print_svm_info(void)
 	       "\022GMET"		/* Guest Mode Execute Trap */
 	       "\023<b18>"
 	       "\024<b19>"
-	       "\025<b20>"
+	       "\025GuesSpecCtl"	/* Guest Spec_ctl */
 	       "\026<b21>"
 	       "\027<b22>"
 	       "\030<b23>"