ct_extended_entries 417 kernel/arch/amd64/src/smp/mps.c ct_extended_entries(); ct_extended_entries 417 kernel/arch/ia32/src/smp/mps.c ct_extended_entries();