• ___SETUP_AP_END__ : startup_ap.h
• ___SETUP_AP_START__ : startup_ap.h
• dout : output.h
• gdb_interrupt_entries : handler.h
• gdb_interrupt_entry : handler.h
• interrupt_entry : handler.h
• panic : panic.h
• setup_ap_gdt : startup_ap.h
• setup_ap_gdtd : startup_ap.h