NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Reboot the host machine. More...
Public Types | |
enum | { METHOD_KEYBOARD, METHOD_FASTGATE, METHOD_PCIRESET, METHOD_ACPI } |
Public Member Functions | |
bool | init (Motherboard &mb) |
Request all the resources that are needed. | |
bool | receive (MessageConsole &msg) |
HostReboot (DBus< MessageHwIOIn > &bus_hwioin, DBus< MessageHwIOOut > &bus_hwioout, unsigned method) | |
Public Member Functions inherited from StaticReceiver< HostReboot > | |
StaticReceiver () | |
Public Member Functions inherited from Device | |
void | debug_dump () |
Device (const char *debug_name) |
Public Attributes | |
unsigned | _method |
unsigned char | _acpi_method |
unsigned char | _acpi_value |
unsigned long long | _acpi_address |
Additional Inherited Members | |
Static Public Member Functions inherited from StaticReceiver< HostReboot > | |
static bool | receive_static (Device *o, M &msg) |
Reboot the host machine.
State: unstable Features: loop, keyboard, fastgate, PCI reset, ACPI reset methods (MMIO, IOIO, PCI0) Missing: disable VMX, keyboard-wait-loop
|
inline |
|
inline |
Request all the resources that are needed.
|
inline |
unsigned long long HostReboot::_acpi_address |
unsigned char HostReboot::_acpi_method |
unsigned char HostReboot::_acpi_value |
unsigned HostReboot::_method |