x86: make construct_dom0 build with !CONFIG_PV
authorWei Liu <wei.liu2@citrix.com>
Fri, 19 Oct 2018 14:28:30 +0000 (15:28 +0100)
committerWei Liu <wei.liu2@citrix.com>
Sat, 20 Oct 2018 11:31:41 +0000 (12:31 +0100)
commit29b0678b3cbc03c2acc738d503988eb523201317
tree72b011f77057831ab98afff29cd7a1ab2854d4c0
parent62aa9e7f1b8ef64b8c7c1dacb1122351cb9fd132
x86: make construct_dom0 build with !CONFIG_PV

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/dom0_build.c