configure_via_default 420 kernel/arch/amd64/src/smp/mps.c static void configure_via_default(uint8_t n __attribute__((unused))) configure_via_default 420 kernel/arch/ia32/src/smp/mps.c static void configure_via_default(uint8_t n __attribute__((unused)))HelenOS homepage, sources at GitHub