/* SPDX-License-Identifier: GPL-2.0 */

#ifndef __ASM_KERNEL_H
#define __ASM_KERNEL_H

#define NR_CPUS	4096

#endif /* __ASM_KERNEL_H */