ConfidentialComputingSecret.h

Go to the documentation of this file.

 
#ifndef CONFIDENTIAL_COMPUTING_SECRET_H_
#define CONFIDENTIAL_COMPUTING_SECRET_H_
 
#include <Uefi/UefiBaseType.h>
 
#define CONFIDENTIAL_COMPUTING_SECRET_GUID              \
  { 0xadf956ad,                                         \
    0xe98c,                                             \
    0x484c,                                             \
    { 0xae, 0x11, 0xb5, 0x1c, 0x7d, 0x33, 0x64, 0x47 }, \
  }
 
typedef struct {
  UINT64    Base;
  UINT64    Size;
} CONFIDENTIAL_COMPUTING_SECRET_LOCATION;
 
extern EFI_GUID  gConfidentialComputingSecretGuid;
 
#endif // SEV_LAUNCH_SECRET_H_