/src/VBox/Devices/EFI/Firmware/EmbeddedPkg/ResetRuntimeDxe/
../
ResetRuntimeDxe.inf
reset.c