/** @file
 *
 *  Copyright (c) 2023, Mario Bălănică <mariobalanica02@gmail.com>
 *
 *  SPDX-License-Identifier: BSD-2-Clause-Patent
 *
 **/

#ifndef __RK3588DXE_FORMSET_GUID_H__
#define __RK3588DXE_FORMSET_GUID_H__

#define RK3588DXE_FORMSET_GUID \
 { 0x10f41c33, 0xa468, 0x42cd, { 0x85, 0xee, 0x70, 0x43, 0x21, 0x3f, 0x73, 0xa3 } }

extern EFI_GUID gRK3588DxeFormSetGuid;

#endif // __RK3588DXE_FORMSET_GUID_H__
