Searched refs:ImageIdCurrent (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/HiiDatabaseDxe/
H A DImage.c40 EFI_IMAGE_ID ImageIdCurrent; local
54 ImageIdCurrent = 1;
58 if (*ImageId == ImageIdCurrent) {
65 ASSERT (*ImageId != ImageIdCurrent);
67 ImageIdCurrent = 1;
73 if (*ImageId < ImageIdCurrent) {
84 ImageIdCurrent++;
93 ImageIdCurrent++;
102 ImageIdCurrent++;
110 ImageIdCurrent
[all...]

Completed in 226 milliseconds