/* secUefiDbP.h - secUefiDb private header file */

/*
 * Copyright (c) 2017, 2021 Wind River Systems, Inc.
 * 
 * The right to copy, distribute, modify, or otherwise make use
 * of this software may be licensed only pursuant to the terms
 * of an applicable Wind River license agreement.
 */

#ifndef __INCsecUefiDbPh
#define __INCsecUefiDbPh

/* includes */


#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */

/* defines */


/* Variables */

/* typedefs */

#ifdef _WRS_CONFIG_LP64
typedef uint64_t UINTN;
#else
typedef uint32_t UINTN;
#endif

/* Introduced from header efidef.h from gnu-efi-3.0 */

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

extern const char uefiDatabase[];

#ifdef __cplusplus
}
#endif /* __cplusplus */

#endif /* __INCsecUefiDbPh */