TianoCore EDK2 master
Loading...
Searching...
No Matches
ResetSystemAcpiGed.h
Go to the documentation of this file.
1
10#ifndef RESET_SYSTEM_ACPI_GED_H_
11#define RESET_SYSTEM_ACPI_GED_H_
12
13#include <Base.h>
14
15typedef struct {
16 UINT64 SleepControlRegAddr;
17 UINT64 SleepStatusRegAddr;
18 UINT64 ResetRegAddr;
19 UINT8 ResetValue;
21
22extern POWER_MANAGER mPowerManager;
23#endif // RESET_SYSTEM_ACPI_GED_H_