kernel: Use CPUSet in ICI code instead of cpu_mask_t

2013-12-06 03:08:39 +01:00
parent 5f3798921f
commit 7629d527c5
7 changed files with 131 additions and 44 deletions
@@ -11,9 +11,6 @@
 struct kernel_args;


-// must match MAX_BOOT_CPUS in platform_kernel_args.h
-#define SMP_MAX_CPUS MAX_BOOT_CPUS
-
 #ifdef __cplusplus
 extern "C" {
 #endif