// Copyright (C) 2008 Kevin O'Connor <kevin@koconnor.net>
// Copyright (C) 2006 Fabrice Bellard
//
-// This file may be distributed under the terms of the GNU GPLv3 license.
+// This file may be distributed under the terms of the GNU LGPLv3 license.
#include "pci.h" // pci_config_writel
#include "util.h" // wbinvd
#include "ioport.h" // outb
#include "pci_ids.h" // PCI_VENDOR_ID_INTEL
-#if CONFIG_USE_SMM
-asm(
+ASM32(
".global smm_relocation_start\n"
".global smm_relocation_end\n"
".global smm_code_start\n"
"smm_code_end:\n"
" .code32\n"
);
-#endif
extern u8 smm_relocation_start, smm_relocation_end;
extern u8 smm_code_start, smm_code_end;