/src/cpu/x86/

• ../
• 64bit
• Kconfig
• Kconfig.debug_cpu
• Makefile.mk
• backup_default_smm.c
• cache
• copy_data_section.inc
• early_reset.S
• entry16.S
• entry32.S
• lapic
• mp_init.c
• mtrr
• name
• pae
• reset16.S
• sipi_vector.S
• smi_trigger.c
• smm
• smm_start32_offset.h.template
• topology.c
• tsc