/** @file
*
*  Copyright (c) 2018, ARM Limited. All rights reserved.
*
*  SPDX-License-Identifier: BSD-2-Clause-Patent
*
**/

#ifndef  __SGI_VIRTIO_DEVICES_FORMSET_H__
#define  __SGI_VIRTIO_DEVICES_FORMSET_H__

#define SGI_VIRTIO_BLOCK_GUID  \
  { 0x5a96cdcd, 0x6116, 0x4929, { 0xb7, 0x01, 0x3a, 0xc2, 0xfb, 0x1c, 0xe2, 0x28 } }

#define SGI_VIRTIO_NET_GUID  \
  { 0xf5a453e8, 0x5f5f, 0x4e7b, { 0x89, 0x4f, 0x3a, 0x23, 0x74, 0xc7, 0x28, 0xb1 } }

#endif
