Alexander von Gluck IV 6647d2c95a kernel: fix missing SMP_MAX_CPUS on non-x86 ... * Regression introduced due to scheduler change * Drop MAX_BOOT_CPUS as it is no longer used		2014-01-19 14:09:51 -06:00
..
platform_arch.h
platform_debug.h
platform_kernel_args.h
platform_stage2_args.h