// SPDX-License-Identifier: GPL-2.0-only
#include <cpumask.h>

cpumask_t cpu_present_mask;
cpumask_t cpu_online_mask;
cpumask_t cpu_idle_mask;