HK_TYPE_DOMAIN_BOOT
housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT));
if (!housekeeping_enabled(HK_TYPE_DOMAIN_BOOT))
!cpumask_subset(new_cpus, housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT)))
if (housekeeping_enabled(HK_TYPE_DOMAIN_BOOT))
housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT));
housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT));
cpumask_andnot(trial, housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT), isol_mask);
HK_FLAG_DOMAIN_BOOT = BIT(HK_TYPE_DOMAIN_BOOT),
cpumask_and(mask, mask, housekeeping_cpumask(HK_TYPE_DOMAIN_BOOT));