IpmiCommandLib's IpmiGetSystemUuid clarification

["Aaron Pop" <aaronpop@linux.microsoft.com>]

I was hoping to get a clarification on the IpmiGetSystemUuid from 
MdeModulePkg...

IPMI specification's Get Device Guid Command says that data is returned 
in "least signification byte first" and "this is the reverse of 
convention described in RFC4122".


IpmiGetSystemUuid specifies that it is returning an EFI_GUID. Does this 
mean that the IpmigetSystemUuid is going to reverse the formatting and 
return an EFI_GUID as opposed to what is directly returned from the 
Management Device?

To help clarify:


typedef struct {
   UINT32    Data1;
   UINT16    Data2;
   UINT16    Data3;
   UINT8     Data4[8];
} EFI_GUID;

vs


typedef struct {
   UINT8     Data4[8];
   UINT16    Data3;
   UINT16    Data2;
   UINT32    Data1;
} IPMI_GUID;

Thank you,
Aaron