#include <Library/PlatformBootManagerLib.h>\r
\r
#if !defined (EFI_REMOVABLE_MEDIA_FILE_NAME)\r
- #if defined (MDE_CPU_EBC)\r
- //\r
- // Uefi specification only defines the default boot file name for IA32, X64\r
- // and IPF processor, so need define boot file name for EBC architecture here.\r
- //\r
- #define EFI_REMOVABLE_MEDIA_FILE_NAME L"\\EFI\\BOOT\\BOOTEBC.EFI"\r
- #else\r
- #error "Can not determine the default boot file name for unknown processor type!"\r
- #endif\r
+ #if defined (MDE_CPU_EBC)\r
+//\r
+// Uefi specification only defines the default boot file name for IA32, X64\r
+// and IPF processor, so need define boot file name for EBC architecture here.\r
+//\r
+#define EFI_REMOVABLE_MEDIA_FILE_NAME L"\\EFI\\BOOT\\BOOTEBC.EFI"\r
+ #else\r
+ #error "Can not determine the default boot file name for unknown processor type!"\r
+ #endif\r
#endif\r
\r
/**\r
VOID\r
EFIAPI\r
BdsEntry (\r
- IN EFI_BDS_ARCH_PROTOCOL *This\r
+ IN EFI_BDS_ARCH_PROTOCOL *This\r
);\r
\r
/**\r
**/\r
EFI_STATUS\r
BdsDxeSetVariableAndReportStatusCodeOnError (\r
- IN CHAR16 *VariableName,\r
- IN EFI_GUID *VendorGuid,\r
- IN UINT32 Attributes,\r
- IN UINTN DataSize,\r
- IN VOID *Data\r
+ IN CHAR16 *VariableName,\r
+ IN EFI_GUID *VendorGuid,\r
+ IN UINT32 Attributes,\r
+ IN UINTN DataSize,\r
+ IN VOID *Data\r
);\r
\r
#endif\r