/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/ResetSystemRuntimeDxe/

• ../
• ResetSystem.c
• ResetSystem.h
• ResetSystemRuntimeDxe.inf