Searched defs:BL33_IMAGE_NAME (Results 1 – 3 of 3) sorted by relevance
69 #define BL33_IMAGE_NAME "bl33.bin" /* e.g. UEFI */ macro
72 #define BL33_IMAGE_NAME "bl33.bin" /* e.g. UEFI */ macro
81 #define BL33_IMAGE_NAME "bl33.bin" /* e.g. UEFI */ macro