UUID_INIT
uuid_t hyperv_uuid = UUID_INIT(
static const uuid_t arm_smc_trng_uuid __aligned(4) = UUID_INIT(
{UUID_INIT(0xab7a617c, 0xb8e7, 0x4d8f,
{ UUID_INIT(0x17b862a4, 0x1806, 0x4faf,
UUID_INIT(0xBC50D971, 0xD4C9, 0x42C4,
{UUID_INIT(0xbc50d971, 0xd4c9, 0x42c4,
UUID_INIT(0xda9c0b5, 0xbf41, 0x4b78, 0x8f, 0x79, 0x96, 0xb1, 0x62, \
UUID_INIT(0x5e1819d9, 0x11a9, 0x400c, 0x81, 0x1f, 0xd6, 0x07, 0x19, \
UUID_INIT(0xfbcd0a77, 0xc260, 0x417f, 0x85, 0xa9, 0x08, 0x8b, 0x16, \
UUID_INIT(0x601dcbb3, 0x9c06, 0x4eab, 0xb8, 0xaf, 0x4e, 0x9b, 0xfb, \
UUID_INIT(0xfe927475, 0xdd59, 0x4339, 0xa5, 0x86, 0x79, 0xba, 0xb1, \
UUID_INIT(0xe71f3a40, 0x2d29, 0x4092, 0x8a, 0x39, 0x4d, 0x1c, 0x96, \
UUID_INIT(0xa8cfe406, 0xd4f5, 0x4a2e,
{UUID_INIT(0x6272636D, 0x2019, 0x0716,
UUID_INIT(0xed32d533, 0x99e6, 0x4209, \
UUID_INIT(0xc66189ca, 0x1cce, 0x4195,
UUID_INIT(0x798f589e, 0x3616, 0x8a47,
UUID_INIT(0x94cf71ad, 0x80e6, 0x40b5,
static const uuid_t amd_pmf_ta_uuid[] __used = { UUID_INIT(0xd9b39bf2, 0x66bd, 0x4154, 0xaf, 0xb8,
UUID_INIT(0x6fd93b77, 0x3fb8, 0x524d, 0xb1, 0x2d,
{UUID_INIT(0xf389f8c8, 0x845f, 0x496c,
UUID_INIT(0x7011a688, 0xddde, 0x4053,
{ UUID_INIT(0x486178e0, 0xe7f8, 0x11e3,
static const uuid_t tee_client_uuid_ns = UUID_INIT(0x58ac9ca0, 0x2086, 0x4683,
#define TS_RPC_UUID UUID_INIT(0xbdcd76d7, 0x825e, 0x4751, \
UUID_INIT(0x3188cd10, 0x6523, 0x4a5a,
UUID_INIT(0xc66189ca, 0x1cce, 0x4195,
UUID_INIT(0xb638d70e, 0x42ff, 0x40bb,
UUID_INIT(0x96dad7d6, 0xfde8, 0x482b, 0xa7, 0x33, 0x75, 0x77, 0x4e, \
UUID_INIT(0xe5b13f22, 0x2328, 0x4a14, 0xb8, 0xba, 0xb9, 0x69, 0x1e, \
UUID_INIT(0x892ba475, 0xfad8, 0x474e, 0x9d, 0x3e, 0x69, 0x2c, 0x91, \
UUID_INIT(0x80ea4521, 0x786f, 0x4127, 0xaf, 0xb1, 0xec, 0x74, 0x59, \
UUID_INIT(0x96C33386, 0x91dd, 0x44c7, 0x9e, 0xcb, 0xfd, 0xaf, 0x65, \
UUID_INIT(0x450ebf67, 0xb135, 0x4f97, 0xa4, 0x98, 0xc2, 0xd5, 0x7f, \
UUID_INIT(0x78b79636, 0x90ac, 0x4b64, 0xa4, 0xef, 0xfa, 0xac, 0x5d, \
UUID_INIT(0x34dbaff5, 0x0552, 0x4281, 0x8f, 0x76, 0xda, 0x0b, 0x5e, \
#define ARM_SMCCC_VENDOR_HYP_UID_KVM UUID_INIT(\
UUID_INIT(0xf018878c, 0xcb7d, 0x4943,
.be = UUID_INIT(0xc33f4995, 0x3701, 0x450e, 0x9f, 0xbf, 0x20, 0x6a, 0x2e, 0x98, 0xe5, 0x76),
.be = UUID_INIT(0x64b4371c, 0x77c1, 0x48f9, 0x82, 0x21, 0x29, 0xf0, 0x54, 0xfc, 0x02, 0x3b),
.be = UUID_INIT(0x0cb4ddff, 0xa545, 0x4401, 0x9d, 0x06, 0x68, 0x8a, 0xf5, 0x3e, 0x7f, 0x84),
{UUID_INIT(0xf04a0fe7, 0x1f5d, 0x4b9b,
UUID_INIT(0xffffffff, 0xffff, 0xffff, 0xff, 0xff, 0xff, 0xff, 0xff, \
.id = UUID_INIT(0xBA5EBA11, 0xABCD, 0xEFEB,
.id = UUID_INIT(0xABCDEFEB, 0xBA11, 0xBA5E,