max_vcpus = opt_dom0_max_vcpus_min;
if ( opt_dom0_max_vcpus_max < max_vcpus )
max_vcpus = opt_dom0_max_vcpus_max;
- limit = dom0_pvh ? HVM_MAX_VCPUS : MAX_VIRT_CPUS;
+ limit = opt_dom0_pvh ? HVM_MAX_VCPUS : MAX_VIRT_CPUS;
if ( max_vcpus > limit )
max_vcpus = limit;
#ifdef CONFIG_SHADOW_PAGING
bool __initdata opt_dom0_shadow;
#endif
-bool __initdata dom0_pvh = !IS_ENABLED(CONFIG_PV);
-bool __initdata dom0_verbose;
+bool __initdata opt_dom0_pvh = !IS_ENABLED(CONFIG_PV);
+bool __initdata opt_dom0_verbose;
static int __init parse_dom0_param(const char *s)
{
ss = strchr(s, '\0');
if ( IS_ENABLED(CONFIG_PV) && !cmdline_strcmp(s, "pv") )
- dom0_pvh = false;
+ opt_dom0_pvh = false;
else if ( IS_ENABLED(CONFIG_HVM) && !cmdline_strcmp(s, "pvh") )
- dom0_pvh = true;
+ opt_dom0_pvh = true;
#ifdef CONFIG_SHADOW_PAGING
else if ( (val = parse_boolean("shadow", s, ss)) >= 0 )
opt_dom0_shadow = val;
#endif
else if ( (val = parse_boolean("verbose", s, ss)) >= 0 )
- dom0_verbose = val;
+ opt_dom0_verbose = val;
else
rc = -EINVAL;
#else
#define opt_dom0_shadow false
#endif
-extern bool dom0_pvh;
-extern bool dom0_verbose;
+extern bool opt_dom0_pvh;
+extern bool opt_dom0_verbose;
#define max_init_domid (0)