/src/VBox/Devices/EFI/Firmware/EmbeddedPkg/EmbeddedMonotonicCounter/

• ../
• EmbeddedMonotonicCounter.c
• EmbeddedMonotonicCounter.inf