mps_ct_check 352 kernel/arch/amd64/src/smp/mps.c if (!mps_ct_check()) { mps_ct_check 352 kernel/arch/ia32/src/smp/mps.c if (!mps_ct_check()) {