34 	printf("FSP    : binary 0x%08x, header 0x%08x\n",  in do_hdr()
36 	printf("Header : sign ");  in do_hdr()
38 		printf("%c", *sign++);  in do_hdr()
39 	printf(", size %d, rev %d\n", hdr->hdr_len, hdr->hdr_rev);  in do_hdr()
40 	printf("Image  : rev ");  in do_hdr()
42 		printf("%d.%d",  in do_hdr()
45 		printf("%d.%d.%d.%d",  in do_hdr()
49 	printf(", id ");  in do_hdr()
51 		printf("%c", hdr->img_id[i]);  in do_hdr()
52 	printf(", addr 0x%08x, size %d\n", img_addr, hdr->img_size);  in do_hdr()
54 		printf("GFX    :%ssupported\n",  in do_hdr()
57 	printf("VPD    : addr 0x%08x, size %d\n",  in do_hdr()
59 	printf("\nNumber of APIs Supported : %d\n", hdr->api_num);  in do_hdr()
60 	printf("\tTempRamInit : 0x%08x\n", hdr->fsp_tempram_init + img_addr);  in do_hdr()
61 	printf("\tFspInit     : 0x%08x\n", hdr->fsp_init + img_addr);  in do_hdr()
62 	printf("\tFspNotify   : 0x%08x\n", hdr->fsp_notify + img_addr);  in do_hdr()
64 		printf("\tMemoryInit  : 0x%08x\n",  in do_hdr()
66 		printf("\tTempRamExit : 0x%08x\n",  in do_hdr()
68 		printf("\tSiliconInit : 0x%08x\n",  in do_hdr()
84 	printf("HOB list address: 0x%08x\n\n", (unsigned int)hdr);  in do_hob()
86 	printf("#  | Address  | Type      | Len  | ");  in do_hob()
87 	printf("%42s\n", "GUID");  in do_hob()
88 	printf("---|----------|-----------|------|-");  in do_hob()
89 	printf("------------------------------------------\n");  in do_hob()
91 		printf("%02x | %08x | ", i, (unsigned int)hdr);  in do_hob()
101 		printf("%-9s | %04x | ", desc, hdr->len);  in do_hob()
108 			printf("%08x-%04x-%04x", guid->data1,  in do_hob()
111 				printf("-%02x", guid->data4[j]);  in do_hob()
113 			printf("%42s", "Not Available");  in do_hob()
115 		printf("\n");  in do_hob()