**/
#include <PiDxe.h>
-#include <Library/BdsLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Library/DebugLib.h>
#include <Library/MemoryAllocationLib.h>
#include <Library/PerformanceLib.h>
#include <Library/UefiRuntimeServicesTableLib.h>
#include <Library/PcdLib.h>
+#include <Library/BdsLinuxLib.h>
#include <Protocol/Bds.h>
#include <Protocol/DevicePathToText.h>
.align 3\r
\r
.globl ASM_PFX(CEntryPoint)\r
-.globl ASM_PFX(_ModuleEntryPoint)\r
-INTERWORK_FUNC(_ModuleEntryPoint)
+GCC_ASM_EXPORT(_ModuleEntryPoint)\r
\r
ASM_PFX(_ModuleEntryPoint):\r
\r