119 	printf("EFI version: %d.%02d\n", ST->Hdr.Revision >> 16,  in main()
120 	    ST->Hdr.Revision & 0xffff);  in main()
123 	ST->ConOut->OutputString(ST->ConOut, ST->FirmwareVendor);  in main()
124 	printf(" (rev %d.%02d)\n", ST->FirmwareRevision >> 16,  in main()
125 	    ST->FirmwareRevision & 0xffff);  in main()
158 	for (i = 0; i < ST->NumberOfTableEntries; i++) {  in main()
159 		guid = &ST->ConfigurationTable[i].VendorGuid;  in main()
161 			smbios_detect(ST->ConfigurationTable[i].VendorTable);  in main()
289 	printf("NumberOfTableEntries=%ld\n", ST->NumberOfTableEntries);  in command_configuration()
290 	for (i = 0; i < ST->NumberOfTableEntries; i++) {  in command_configuration()
294 		guid = &ST->ConfigurationTable[i].VendorGuid;  in command_configuration()
315 		printf(" at %p\n", ST->ConfigurationTable[i].VendorTable);  in command_configuration()
336 	conout = ST->ConOut;  in command_mode()
389 	conout = ST->ConOut;  in command_nvram()