Searched refs:UUID_EL3_RUNTIME_FIRMWARE_BL31 (Results 1 – 2 of 2) sorted by relevance
23 #define UUID_EL3_RUNTIME_FIRMWARE_BL31 0x31334c42 /* "BL31" */ macro
20 { BL31_IMAGE_NAME, UUID_EL3_RUNTIME_FIRMWARE_BL31 }, /* mandatory */