# CONFIG_CPUMASK_OFFSTACK is not set