acrn-config: include msr.h in board.c

without the msr.h file the build will be failed when CAT is enabled.

Tracked-On: #4066
Signed-off-by: Wei Liu <weix.w.liu@intel.com>
Acked-by: Victor Sun <victor.sun@intel.com>
This commit is contained in:
Wei Liu 2019-11-11 08:51:04 +08:00 committed by wenlingz
parent 5cc2c0dca5
commit 05bb56291b

View File

@ -9,7 +9,8 @@ import board_cfg_lib
INCLUDE_HEADER = """
#include <board.h>
#include <vtd.h>"""
#include <vtd.h>
#include <msr.h>"""
MSR_IA32_L2_MASK_BASE = 0x00000D10