configure_via_ct 345 kernel/arch/amd64/src/smp/mps.c static void configure_via_ct(void) configure_via_ct 345 kernel/arch/ia32/src/smp/mps.c static void configure_via_ct(void)