VMX: convert CPU family numbers to hex
authorJan Beulich <jbeulich@suse.com>
Mon, 18 Sep 2017 10:25:32 +0000 (12:25 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 18 Sep 2017 10:25:32 +0000 (12:25 +0200)
commitc0bac61bb422da837d909a9c7c9a5aca352fe776
tree3b895db5a2420cb9dfe60254588ef1834dffcf02
parentabd91b2a2bcd05618a71f7e5fe571dd10a5727bc
VMX: convert CPU family numbers to hex

This makes it easier to match them against SDM updates. Also update a
few comments with names as per SDM version 063.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Kevin Tian <kevin.tian@intel.com>
xen/arch/x86/hvm/vmx/vmx.c