#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/DebugLib.h>\r
\r
-IPMI_PROTOCOL *mIpmiProtocol = NULL;\r
+IPMI_PROTOCOL *mIpmiProtocol = NULL;\r
\r
/**\r
This service enables submitting commands via Ipmi.\r
EFI_STATUS\r
EFIAPI\r
IpmiSubmitCommand (\r
- IN UINT8 NetFunction,\r
- IN UINT8 Command,\r
- IN UINT8 *RequestData,\r
- IN UINT32 RequestDataSize,\r
- OUT UINT8 *ResponseData,\r
- IN OUT UINT32 *ResponseDataSize\r
+ IN UINT8 NetFunction,\r
+ IN UINT8 Command,\r
+ IN UINT8 *RequestData,\r
+ IN UINT32 RequestDataSize,\r
+ OUT UINT8 *ResponseData,\r
+ IN OUT UINT32 *ResponseDataSize\r
)\r
{\r
EFI_STATUS Status;\r
\r
if (mIpmiProtocol == NULL) {\r
Status = gBS->LocateProtocol (\r
- &gIpmiProtocolGuid,\r
- NULL,\r
- (VOID **) &mIpmiProtocol\r
- );\r
+ &gIpmiProtocolGuid,\r
+ NULL,\r
+ (VOID **)&mIpmiProtocol\r
+ );\r
if (EFI_ERROR (Status)) {\r
//\r
// Dxe Ipmi Protocol is not installed. So, IPMI device is not present.\r
//\r
- DEBUG ((EFI_D_ERROR, "IpmiSubmitCommand in Dxe Phase under SMS Status - %r\n", Status));\r
+ DEBUG ((DEBUG_ERROR, "IpmiSubmitCommand in Dxe Phase under SMS Status - %r\n", Status));\r
return EFI_NOT_FOUND;\r
}\r
}\r
if (EFI_ERROR (Status)) {\r
return Status;\r
}\r
+\r
return EFI_SUCCESS;\r
}\r