Jason Chen CJ 2c581751de vmx: tiny fix for MACRO name and print format ...

1. CPU_SEG_WRITE->CPU_SEG_READ: it's actually seg read
2. 0x%hu -> 0x%x: it need print hex format

Tracked-On: #1833
Signed-off-by: Jason Chen CJ <jason.cj.chen@intel.com>

2018-11-16 15:30:20 +08:00

33 KiB

Raw Blame History

View Raw