/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __ASM_KERNEL_H #define __ASM_KERNEL_H #define NR_CPUS 512 #endif /* __ASM_KERNEL_H */